5 papers:
SAT-2015-BiereF- Evaluating CDCL Variable Scoring Schemes (AB, AF), pp. 405–422.
- SAT-2015-Oh #difference #satisfiability
- Between SAT and UNSAT: The Fundamental Difference in CDCL SAT (CO), pp. 307–323.
SAS-2013-BrainDGHK #float #source code #verification- Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL (MB, VD, AG, LH, DK), pp. 412–432.
- SAT-2012-GoultiaevaB #algorithm
- Off the Trail: Re-examining the CDCL Algorithm (AG, FB), pp. 30–43.
- SAT-2012-KottlerZSK #analysis #named #satisfiability
- CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers — (Tool Presentation) (SK, CZ, PS, MK), pp. 449–455.
