MiniSat : A SAT solver with conflict-clause minimization

収録刊行物

• Proc. SAT-05 : 8th Int. Conf. on Theory and Applications of Satisfiability Testing

  Proc. SAT-05 : 8th Int. Conf. on Theory and Applications of Satisfiability Testing 502-518, 2005