SAT solving techniques: a bibliography

Abstract

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

References in corpus (1)

• Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers