SAT solving techniques: a bibliography
arXiv:1802.05159
Abstract
We present a selective bibliography about efficient SAT solving, focused on optimizations for the CDCL-based algorithms.
arXiv:1802.05159
We present a selective bibliography about efficient SAT solving, focused on optimizations for the CDCL-based algorithms.