Using Integer Programming Techniques in Real-Time Scheduling Analysis.

Published in: CoRR (2022)

Keyphrases

integer programming
np hard
constraint programming
facility location
inference problems
dynamic programming
linear programming
np complete
ai planning
cutting plane
valid inequalities