External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On CDCL-Based Proof Systems with the Ordered Decision Strategy

Nathan Mull, Shuo Pang, Alexander A. Razborov. On CDCL-Based Proof Systems with the Ordered Decision Strategy. In Luca Pulina, Martina Seidl, editors, Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Volume 12178 of Lecture Notes in Computer Science, pages 149-165, Springer, 2020. [doi]

Authors

Nathan Mull

This author has not been identified. Look up 'Nathan Mull' in Google

Shuo Pang

This author has not been identified. Look up 'Shuo Pang' in Google

Alexander A. Razborov

This author has not been identified. Look up 'Alexander A. Razborov' in Google
runs on