Login / Signup

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

Gilles AudemardJean-Marie LagniezLaurent Simon
Published in: SAT (2013)
Keyphrases
  • sat solving
  • upper bound
  • optimization problems
  • search tree