A Logical Approach to Efficient Max-SAT solving

Javier Larrosa Federico Heras Simon de Givry

Published in: CoRR (2006)

Keyphrases

sat solving
information retrieval
information retrieval systems
np complete
sat problem