The Sat4j library, release 2.2
|
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work wi |
|
|
|
|
|
|
QMaxSAT: A Partial Max-SAT Solver
|
We present a partial Max-SAT solver QMaxSAT which uses CNF encoding of Boolean cardinality constraints. The old version 0.1 was obtain |
|
|
|
|