A Parallel Logic Programming Approach to Combinatorial Optimization in Design.
Jim ButlerHideomi OhtsuboPublished in: IEA/AIE (Vol. 2) (1990)
Keyphrases
- logic programming
- combinatorial optimization
- logic programs
- simulated annealing
- deductive databases
- answer set programming
- knowledge base
- logic programming language
- traveling salesman problem
- metaheuristic
- answer sets
- combinatorial optimization problems
- constraint logic programming
- knowledge representation
- branch and bound
- reasoning about actions
- programming language
- inductive logic programming
- nonmonotonic reasoning
- constraint satisfaction
- branch and bound algorithm
- data model
- relational databases
- database
- pseudo boolean constraints