Guiding High-Performance SAT Solvers with Unsat-Core Predictions
Abstract
NeuroSAT is a method to improve CDCL solvers with predictions of unsat-cores.
can provide effective guidance to high-performance SAT solvers on real problems.
代码:
https://github.com/dselsam/neurocore-public
unsat-core : In mathematical logic, given an unsatisfiable Boolean propositional formula in conjunctive normal form, a subset of clauses wh