Login / Signup

On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.

Éric GrégoireBertrand MazureCédric Piette
Published in: ICTAI (1) (2008)
Keyphrases
  • data mining
  • search algorithm
  • search space
  • logic programs
  • real time
  • data sets
  • real world
  • objective function
  • strengths and weaknesses