Should Decisions in QCDCL Follow Prefix Order?
Crossref DOI link: https://doi.org/10.1007/s10817-024-09694-6
Published Online: 2024-02-09
Published Print: 2024-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Böhm, Benjamin
Peitl, Tomáš
Beyersdorff, Olaf
Funding for this research was provided by:
Friedrich-Schiller-Universität Jena
Text and Data Mining valid from 2024-02-09
Version of Record valid from 2024-02-09
Article History
Received: 8 July 2023
Accepted: 8 January 2024
First Online: 9 February 2024