Formal Correctness Proof for DPLL Procedure.
Filip MaricPredrag JanicicPublished in: Informatica (2010)
Keyphrases
- proof procedure
- theorem proving
- davis putnam
- propositional logic
- model theoretic
- np complete
- provably correct
- predicate calculus
- first order logic
- formal model
- satisfiability problem
- sat solvers
- formal methods
- description logics
- theorem prover
- real time
- logic programs
- automated reasoning
- formal language
- search space
- expert systems
- computational complexity
- data sets