![](/img/cover-not-exists.png)
ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver
Abramé, André, Habet, DjamalVolume:
9
Journal:
Journal on Satisfiability, Boolean Modeling and Computation
DOI:
10.3233/sat190104
Date:
December, 2015
File:
PDF, 2.13 MB
2015