Maximum Satisfiability Formulation for Optimal Scheduling in Overloaded Real-Time Systems.

Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Wenxin Yu

Browse the full PRICAI paper archive.