Extension of the Revised Simplex Method for Detecting Implicit Equalities in Constraint Logic Programming.
Philippe RefaloPublished in: Implementation Technology for Programming Languages based on Logic (1998)
Keyphrases
- constraint logic programming
- simplex method
- linear programming
- linear program
- proof theoretic
- constraint solving
- linear fractional
- logic programming language
- constraint programming
- answer set programming
- logic programming
- convergence rate
- column generation
- temporal reasoning
- constraint propagation
- primal dual
- interior point methods
- global constraints
- machine learning
- heuristic search
- optimal solution
- knowledge base