Preprocessing of Propagation Redundant Clauses.
Joseph E. ReevesMarijn J. H. HeuleRandal E. BryantPublished in: IJCAR (2022)
Keyphrases
- preprocessing
- post processing
- first order logic
- feature extraction
- search space
- highly redundant
- wave propagation
- consequence finding
- eliminating redundant
- preprocessing step
- background knowledge
- database systems
- computer vision
- multiscale
- horn clauses
- preprocessing stage
- preprocessing phase
- propagation model
- preprocessing steps
- genetic algorithm
- real time
- database