WFS + Branch and Bound = Stable Models.
V. S. SubrahmanianDana S. NauCarlo VagoPublished in: IEEE Trans. Knowl. Data Eng. (1995)
Keyphrases
- search strategy
- branch and bound
- stable models
- logic programs
- search algorithm
- search space
- logic programming
- search strategies
- normal logic programs
- branch and bound algorithm
- column generation
- fixpoint
- lower bound
- answer set programming
- stable model semantics
- branch and bound procedure
- deductive databases
- answer sets
- tree search algorithm
- optimal solution
- tree search
- branch and bound search
- loop formulas
- max sat
- combinatorial optimization
- branch and bound method
- inductive logic programming
- upper bound
- machine learning
- network design problem
- np hard
- evolutionary algorithm