Sign in
Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction.
Gilles Audemard
Jean-Marie Lagniez
Laurent Simon
Published in:
SAT (2013)
Keyphrases
</>
sat solving
upper bound
optimization problems
search tree