Loop Refinement Using Octagons and Satisfiability.

Volker Kamin Thomas Noll

Published in: SSV (2010)

Keyphrases

satisfiability problem
np complete
computational complexity
propositional logic
feedback loop
reasoning problems
satisfiability testing
terminological reasoning
database
decision procedures
information systems
search algorithm
expert systems
orders of magnitude
phase transition
quantified boolean formulas