Login / Signup
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272).
Nikolaj Bjørner
Robert Nieuwenhuis
Helmut Veith
Andrei Voronkov
Published in:
Dagstuhl Reports (2011)
Keyphrases
</>
decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
quantified boolean formulas
satisfiability problem
integrity constraints
query containment
data sets
search algorithm
inference rules