System Description: *SAT: A Platform for the Development of Modal Decision Procedures.

Enrico Giunchiglia Armando Tacchella

Published in: CADE (2000)

Keyphrases

decision procedures
modal logic
satisfiability problem
temporal logic
theorem proving
artificial intelligence
search algorithm
inference rules
quantified boolean formulas
database
automated reasoning
data mining
knowledge base
relational databases