Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction.

Gilles Audemard, Jean-Marie Lagniez, Laurent Simon

Browse the full SAT paper archive.