Solving Difference Constraints over Modular Arithmetic.
Graeme GangeHarald SøndergaardPeter J. StuckeyPeter SchachtePublished in: CADE (2013)
Keyphrases
- linear programming problems
- dynamic constraint satisfaction problems
- backtracking algorithm
- combinatorial optimization
- constraint problems
- integer program
- finite domain
- constrained problems
- real time
- soft constraints
- solving problems
- floating point
- resource constraints
- global constraints
- constraint satisfaction
- search space
- distributed constraint optimization problems
- reducing the search space
- interval arithmetic
- optimal solution