New Inference Rules for Efficient Max-SAT Solving.

Federico Heras Javier Larrosa

Published in: AAAI (2006)

Keyphrases

inference rules
sat solving
conditional probabilities
theorem proving
first order logic
modal logic
theorem prover
artificial intelligence
search algorithm
sat solvers
knowledge base
random variables
search strategy