Clausal Proofs of Mutilated Chessboards.
Marijn J. H. HeuleBenjamin KieslArmin BierePublished in: NFM (2019)
Keyphrases
- theorem proving
- decision procedures
- theorem prover
- automated reasoning
- defeasible logic
- first order logic
- constraint propagation
- formal proof
- horn clauses
- modal logic
- inference rules
- temporal resolution
- inductive logic programming
- proof search
- databases
- formal proofs
- equational theories
- mathematical proofs
- computer vision
- neural network
- knowledge compilation
- natural deduction
- genetic algorithm
- machine learning
- real time
- interactive theorem proving