SAT solving techniques: a bibliography
We present a selective bibliography about efficient SAT solving, focused on optimizations for the CDCL-based algorithms.
READ FULL TEXTWe present a selective bibliography about efficient SAT solving, focused on optimizations for the CDCL-based algorithms.
READ FULL TEXT