✦ LIBER ✦

Solving scheduling problems by untimed model checking

✍ Scribed by Anton J. Wijs; Jaco C. van de Pol; Elena M. Bortnik

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Solving scheduling problems from high-le

✍ Jean-Noël Monette 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 268 KB

Modeling and Solving an Airline Schedule

✍ A. Erdmann; A. Nolte; A. Noltemeier; R. Schrader 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 169 KB

Solving symmetric mixed-model multi-leve

✍ Malte Fliedner; Nils Boysen; Armin Scholl 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 716 KB

Solving a chemical batch scheduling prob

✍ Peter Brucker; Johann Hurink 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 150 KB

Solving flow shop scheduling problems by

✍ Tianmin Zheng; Mitsuo Yamashiro 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 692 KB

Solving vehicle routing problems by maxi

✍ Noriko Yoshiike; Yoshiyasu Takefuji 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 275 KB