Combinatorial Problems for Horn Clauses.
Marina LangloisDhruv MubayiRobert H. SloanGyörgy TuránPublished in: Graph Theory, Computational Intelligence and Thought (2009)
Keyphrases
- horn clauses
- combinatorial problems
- constraint programming
- constraint satisfaction problems
- metaheuristic
- traveling salesman problem
- combinatorial optimization
- graph coloring
- inference rules
- first order logic
- phase transition
- constraint satisfaction
- logic programs
- inductive logic programming
- solving hard
- database queries
- branch and bound algorithm
- graph colouring
- global constraints
- database
- combinatorial search
- prior knowledge
- optimization problems
- branch and bound
- integer programming
- cost function
- evolutionary algorithm
- search algorithm