MUS Extraction Using Clausal Proofs.
Anton BelovMarijn HeuleJoão Marques-SilvaPublished in: SAT (2014)
Keyphrases
- theorem proving
- decision procedures
- comparative analysis
- automatic extraction
- automated reasoning
- defeasible logic
- information extraction
- theorem prover
- data sets
- temporal resolution
- automatically extracting
- bayesian networks
- neural network
- inductive logic programming
- knowledge extraction
- website
- information systems
- learning algorithm
- machine learning
- real time
- natural deduction
- formal proof