Login / Signup
Satisfiability Modulo Bounded Checking.
Simon Cruanes
Published in:
CADE (2017)
Keyphrases
</>
satisfiability problem
propositional logic
np complete
computational complexity
sat problem
decision procedures
satisfiability testing
orders of magnitude
quantified boolean formulas
terminological reasoning
real world
data mining
phase transition
asymptotically optimal
computational properties
boolean formula