Automated Discovery of Local Search Heuristics for Satisfiability Testing.

Alex S. Fukunaga

Published in: Evol. Comput. (2008)

Keyphrases

automated discovery
satisfiability testing
propositional logic
knowledge discovery
traveling salesman problem
tie breaking
model counting
weighted model counting
database
databases
genetic algorithm
knowledge representation
first order logic