Design automation with mixtures of proof strategies for propositional logic.
Gunnar AnderssonPer BjesseByron CookZiyad HannaPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2003)
Keyphrases
- propositional logic
- design automation
- proof procedure
- first order logic
- belief revision
- possibilistic logic
- theorem proving
- computer aided design
- quantified boolean formulae
- test generation
- theorem prover
- satisfiability testing
- circuit design
- lattice theory
- horn logic
- propositional satisfiability
- computer vision
- horn clauses