SAT solving techniques: a bibliography
Louis Abraham
TL;DR
This paper provides a curated bibliography of efficient SAT solving techniques, emphasizing optimizations for CDCL-based algorithms to aid researchers and practitioners in the field.
Contribution
It compiles and organizes key references on SAT solving optimizations, serving as a comprehensive resource for ongoing research.
Findings
Extensive list of SAT solving techniques
Focus on CDCL algorithm optimizations
Resource for future research
Abstract
We present a selective bibliography about efficient SAT solving, focused on optimizations for the CDCL-based algorithms.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Logic, programming, and type systems · Constraint Satisfaction and Optimization