Proving Infinite Satisfiability.

Peter Baumgartner Joshua Bax

Published in: LPAR (2013)

Keyphrases

satisfiability problem
computational complexity
np complete
propositional logic
finite sets
decision procedures
stochastic local search
symmetry breaking
reasoning problems
database
information systems
sat instances
quantified boolean formulas
terminological reasoning