A decomposition method for CNF minimality proofs.
Endre BorosOndrej CepekPetr KuceraPublished in: Theor. Comput. Sci. (2013)
Keyphrases
- decomposition method
- decomposition methods
- tree decomposition
- decomposition algorithm
- theorem proving
- boolean functions
- partial order
- knowledge compilation
- theorem prover
- decision procedures
- natural deduction
- formal proof
- sat solving
- formal proofs
- equational theories
- mathematical proofs
- qualitative temporal reasoning
- inference rules
- sat solvers