[SMT-LIB] Preemptive job shop scheduling?

Zonghua Gu zonghua at gmail.com
Mon Jun 25 00:39:53 EDT 2007


I am interested in using QF_IDL to solve preemptive job shop
scheduling problems, where a job can be interrupted by a
higher-priority job. The benchmark example in QF_IDL/job_shop is for
non-preemptive scheduling. How to formulate the preemptive scheduling
problem using IDL? Thank you.

-- 
Best,

Zonghua


More information about the SMT-LIB mailing list