An algorithm-independent measure of progress for linear constraint propagation.
Boro SofranacAmbros M. GleixnerSebastian PokuttaPublished in: Constraints An Int. J. (2022)
Keyphrases
- constraint propagation
- search space
- dynamic programming
- optimal solution
- constraint satisfaction
- systematic search
- np hard
- constraint satisfaction problems
- randomly generated
- optimization problems
- linear programming
- objective function
- integrity constraints
- linear constraints
- constraint solver
- constraint graph
- search algorithm
- interval arithmetic
- russian doll search