Preprocessing of Propagation Redundant Clauses.

Joseph E. Reeves Marijn J. H. Heule Randal E. Bryant

Published in: J. Autom. Reason. (2023)

Keyphrases

preprocessing
post processing
first order logic
preprocessing step
search space
feature extraction
consequence finding
highly redundant
background knowledge
horn clauses
preprocessing phase
propagation model
logic programs
website
preprocessing stage
redundant data
eliminate redundant
real world