Should Decisions in QCDCL Follow Prefix Order?
Article in Journal of Automated Reasoning (February 2024)
The most recent citing publications are shown below. View all 46 publications that cite this research output on Dimensions.
Article in Journal of Automated Reasoning (February 2024)
Book chapter (August 2023)
Article in Artificial Intelligence (January 2021)