Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting.
Jingchao ChenPublished in: ISAIM (2020)
Keyphrases
- propositional formulas
- theorem prover
- propositional logic
- first order logic
- cnf formula
- clause learning
- default logic
- theorem proving
- max sat
- sliding window
- equational theories
- multi valued
- formal proofs
- normal form
- data sets
- window size
- cf loadingtexthtml
- formal proof
- predicate calculus
- decision procedures
- horn clauses
- computer programs
- constraint satisfaction
- model checking
- np complete