Integrating Inductive Definitions in SAT.

Maarten Mariën Johan Wittocx Marc Denecker

Published in: LPAR (2007)

Keyphrases

satisfiability problem
machine learning
inductive learning
inductive reasoning
inductive logic programming
inductive inference
search algorithm
propositional satisfiability
boolean satisfiability
database
objective function
lower bound
tabu search
sat solvers
industrial applications
sat problem