Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT.

Shaowei Cai

Browse the full FMCAD paper archive.