Satisfiability Machines.

Published in: ILP (Late Breaking Papers) (2011)

Keyphrases

computational complexity
propositional logic
decision procedures
genetic algorithm
search engine
satisfiability problem
information retrieval
databases
e learning
case study
bayesian networks
tabu search