C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Combining Decision Procedures.
Zohar Manna
Calogero G. Zarba
Published in:
10th Anniversary Colloquium of UNU/IIST (2002)
Keyphrases
</>
decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
quantified boolean formulas
satisfiability problem
data sets
search space
first order logic