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.

Should Decisions in QCDCL Follow Prefix Order?

Benjamin Böhm 0001, Tomás Peitl, Olaf Beyersdorff. Should Decisions in QCDCL Follow Prefix Order?. In Kuldeep S. Meel, Ofer Strichman, editors, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Volume 236 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Authors

Benjamin Böhm 0001

This author has not been identified. Look up 'Benjamin Böhm 0001' in Google

Tomás Peitl

This author has not been identified. Look up 'Tomás Peitl' in Google

Olaf Beyersdorff

This author has not been identified. Look up 'Olaf Beyersdorff' in Google
runs on