Sign in
Maximum Satisfiability Formulation for Optimal Scheduling in Overloaded Real-Time Systems.
Xiaojuan Liao
Hui Zhang
Miyuki Koshimura
Rong Huang
Wenxin Yu
Published in:
PRICAI (1) (2019)
Keyphrases
</>
real time systems
optimal scheduling
maximum satisfiability
scheduling problem
real time
boolean satisfiability
distributed systems
max sat
embedded systems
scheduling algorithm
real time embedded
lower bound
np hard
dynamic programming
domain independent