Case Study: Constraint Programming in a System Level Synthesis Framework.
Shuo LiAhmed HemaniPublished in: CP (2014)
Keyphrases
- constraint programming
- case study
- integer programming
- combinatorial problems
- constraint satisfaction problems
- constraint propagation
- column generation
- constraint satisfaction
- branch and bound algorithm
- arc consistency
- global constraints
- constraint networks
- search heuristics
- finite domain
- constraint based pattern mining