Predicate Abstraction via Symbolic Decision Procedures

Shuvendu K. Lahiri Thomas Ball Byron Cook

Published in: CoRR (2006)

Keyphrases

decision procedures
modal logic
theorem proving
high level
automated reasoning
first order logic
reasoning problems
conjunctive queries
inference rules
databases
quantified boolean formulas
hidden markov models
query language
knowledge representation
binary decision diagrams