An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP.
Jean-Louis ImbertJacques CohenMarie-Dominique WeegerPublished in: J. Log. Program. (1993)
Keyphrases
- constraint solving
- constraint logic programming
- dynamic programming
- learning algorithm
- k means
- objective function
- linear complexity
- expectation maximization
- monte carlo
- orders of magnitude
- constraint solver
- detection algorithm
- segmentation algorithm
- convex hull
- linear constraints
- simulated annealing
- search space
- knowledge base
- genetic algorithm