On QBF Proofs and Preprocessing.
Mikolás JanotaRadu GrigoreJoão Marques-SilvaPublished in: LPAR (2013)
Keyphrases
- preprocessing
- quantified boolean formulas
- decision procedures
- preprocessing step
- theorem prover
- post processing
- mathematical proofs
- theorem proving
- formal proofs
- feature extraction
- data sets
- preprocessing phase
- formal proof
- evolutionary algorithm
- modal logic
- expert systems
- knowledge base
- reasoning tasks
- information retrieval
- equational theories
- database