B-Log: A Branch and Bound Methodology for the Parallel Execution of Logic Programs.
G. Jack LipovskiManuel V. HermenegildoPublished in: ICPP (1985)
Keyphrases
- logic programs
- branch and bound
- parallel execution
- logic programming
- search algorithm
- lower bound
- branch and bound algorithm
- optimal solution
- search space
- column generation
- answer sets
- upper bound
- combinatorial optimization
- answer set programming
- cost model
- stable models
- data partitioning
- parallel processing
- query execution
- parallel computing
- search strategies
- query processing
- shared memory
- parallel programming
- high level
- search strategy
- max sat
- reasoning tasks
- data warehouse
- general purpose