Trimming while checking clausal proofs.
Marijn HeuleWarren A. Hunt Jr.Nathan WetzlerPublished in: FMCAD (2013)
Keyphrases
- theorem proving
- decision procedures
- theorem prover
- defeasible logic
- inductive logic programming
- automated reasoning
- constraint propagation
- first order logic
- modal logic
- data mining
- data sets
- temporal resolution
- proof search
- formal proof
- expert systems
- database systems
- social networks
- genetic algorithm
- information retrieval
- equational theories