References & Citations
Computer Science > Logic in Computer Science
Title: SAT solving techniques: a bibliography
(Submitted on 10 Feb 2018 (v1), last revised 23 Apr 2018 (this version, v2))
Abstract: We present a selective bibliography about efficient SAT solving, focused on optimizations for the CDCL-based algorithms.
Submission history
From: Louis Abraham [view email][v1] Sat, 10 Feb 2018 23:25:00 GMT (9kb,D)
[v2] Mon, 23 Apr 2018 15:03:29 GMT (11kb,D)
Link back to: arXiv, form interface, contact.