16 search results - page 4 / 4 » Practical Conflict Resolution for the Composition of Program... |
139
click to vote
JAIR
2007
15 years 2 months ago
2007
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliï¬...