Login / Signup
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling.
Raul Gorcitz
Emilien Kofman
Thomas Carle
Dumitru Potop-Butucaru
Robert de Simone
Published in:
FORMATS (2015)
Keyphrases
</>
constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
fault tolerance
search space
objective function
relational databases
np complete
finite domain