SAT solving techniques: a bibliography

02/10/2018

∙

by   Louis Abraham, et al.

∙

0

∙

share

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