Covered Clauses Are Not Propagation Redundant.

Lee A. Barnett David M. Cerna Armin Biere

Published in: IJCAR (1) (2020)

Keyphrases

first order logic
search space
highly redundant
databases
information systems
wave propagation
consequence finding
data sets
genetic algorithm
decision trees
np hard