The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs.
Albert AtseriasPublished in: SAT (2013)
Keyphrases
- proof search
- bounded degree
- semi algebraic
- theorem prover
- theorem proving
- inference rules
- graph theoretic
- linear logic
- search procedure
- spatial databases
- bounded treewidth
- sequent calculus
- arbitrary dimension
- cut elimination
- proof procedure
- multi dimensional
- database systems
- modal logic
- np complete
- sufficient conditions