Automated Reasoning with Epistemic Graphs Using SAT Solvers.
Anthony HunterPublished in: COMMA (2022)
Keyphrases
- automated reasoning
- propositional satisfiability
- sat solvers
- knowledge representation
- probabilistic reasoning
- theorem prover
- theorem proving
- constraint satisfaction
- reasoning tasks
- orders of magnitude
- max sat
- sat problem
- sat solving
- sat instances
- belief change
- clause learning
- search strategies
- search space
- search tree
- probabilistic inference
- boolean satisfiability
- artificial intelligence
- evolutionary algorithm
- objective function
- sat encodings