On Freezing and Reactivating Learnt Clauses.

Gilles Audemard Jean-Marie Lagniez Bertrand Mazure Lakhdar Sais

Published in: SAT (2011)

Keyphrases

search space
first order logic
horn clauses
database
boolean satisfiability
boolean formulae
artificial intelligence
background knowledge
consequence finding
databases
knowledge base
case study
multiscale
relational databases
special case
theorem proving