Minisat-A sat solver with conflict-clause minimization

収録刊行物

• Proc. Theory and Applications of Satisfiability Testing (SAT 05)

  Proc. Theory and Applications of Satisfiability Testing (SAT 05) 2005