Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting.
Jingchao ChenPublished in: CoRR (2016)
Keyphrases
- propositional formulas
- theorem prover
- first order logic
- cnf formula
- propositional logic
- theorem proving
- clause learning
- window size
- sliding window
- max sat
- model checking
- formal proof
- proof procedure
- natural deduction
- multi valued
- adaptive window
- mathematical proofs
- prime implicates
- horn clauses
- strips planning
- knowledge compilation
- probabilistic logic
- data sets
- computer programs
- default logic
- normal form
- learning algorithm