Accelerated SAT-based Scheduling of Control/Data Flow Graphs.

Seda Ogrenci Memik Farzan Fallah

Published in: ICCD (2002)

Keyphrases

flexible manufacturing systems
control system
scheduling problem
control method
control strategy
answer sets
answer set programming
flow control
real time
constraint satisfaction problems
scheduling algorithm
optimal control
round robin
real time control
shop floor