Combinatorial problems for Horn clauses.
Marina LangloisDhruv MubayiRobert H. SloanGyörgy TuránPublished in: ISAIM (2008)
Keyphrases
- combinatorial problems
- horn clauses
- constraint programming
- metaheuristic
- first order logic
- constraint satisfaction problems
- combinatorial optimization
- inference rules
- graph coloring
- phase transition
- inductive logic programming
- traveling salesman problem
- constraint satisfaction
- logic programs
- solving hard
- branch and bound algorithm
- database queries
- global constraints
- combinatorial search
- ant colony optimization
- branch and bound
- propositional logic
- graph colouring
- particle swarm optimization
- optimal solution