Login / Signup
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.
Alessandro Armando
Claudio Castellini
Enrico Giunchiglia
Fausto Giunchiglia
Armando Tacchella
Published in:
Mechanizing Mathematical Reasoning (2005)
Keyphrases
</>
automated reasoning
decision procedures
theorem proving
knowledge representation
reasoning tasks
theorem prover
probabilistic reasoning
answer set programming
sat solvers
databases
objective function
inference rules
answer sets
propositional satisfiability
data mining