Efficient SAT-based Proof Search in Intuitionistic Propositional Logic.
Camillo FiorentiniPublished in: CADE (2021)
Keyphrases
- propositional logic
- proof procedure
- first order logic
- theorem prover
- proof search
- linear logic
- satisfiability testing
- belief revision
- theorem proving
- inference rules
- answer set programming
- belief change
- propositional satisfiability
- horn logic
- expert systems
- cut elimination
- classical logic
- automated reasoning
- orders of magnitude
- evolutionary algorithm