Constraint satisfaction and semilinear expansions of addition over the rationals and the reals.
Peter JonssonJohan ThapperPublished in: J. Comput. Syst. Sci. (2016)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- phase transition
- relaxation labeling
- constraint propagation
- constraint programming
- combinatorial problems
- constraint relaxation
- constrained problems
- arc consistency
- constraint networks
- path consistency
- probabilistic reasoning
- machine learning
- constraint problems
- sat solvers
- constraint optimization
- backtrack search
- search strategies
- robust fault detection