Sign in

Covered Clauses Are Not Propagation Redundant.

Lee A. BarnettDavid M. CernaArmin 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