11 search results - page 3 / 3 » Soft constraint propagation and solving in CHRs |
79
Voted
JAIR
2008
14 years 9 months ago
2008
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MINISAT+. It incorporates the best current SAT and Max-SAT techniques. It can handle hard claus...