SAT solving techniques: a bibliography

Louis Abraham

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