Global Multiprocessor Real-Time Scheduling as a Constraint Satisfaction Problem.
Liliana Cucu-GrosjeanOlivier BuffetPublished in: ICPP Workshops (2009)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- np complete
- constraint programming
- tractable subclasses
- constraint solving
- non binary
- search space
- partial constraint satisfaction
- soft constraints
- global consistency
- arc consistency
- pseudo boolean optimization
- global constraints
- constraint graph
- disjunctive temporal
- knowledge base
- tractable classes
- forward checking
- finite domain
- product configuration
- decomposition methods
- constraint networks
- sat problem
- backtracking algorithm
- disjunctive constraints
- tree decompositions
- constraint problems