Sign in

Satisfiability Machines.

Filip Zelezný
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