A logical approach to efficient Max-SAT solving.

Javier Larrosa Federico Heras Simon de Givry

Published in: Artif. Intell. (2008)

Keyphrases

sat solving
orders of magnitude
sat solvers
learning algorithm