✦ LIBER ✦

Curriculum-based course timetabling with SAT and MaxSAT

✍ Scribed by Asín Achá, Roberto; Nieuwenhuis, Robert

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Curriculum based course timetabling: new

✍ Gerald Lach; Marco E. Lübbecke 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 593 KB

Benchmarking curriculum-based course tim

✍ Alex Bonutti; Fabio De Cesco; Luca Di Gaspero; Andrea Schaerf 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 410 KB

Genetic Algorithms With Guided and Local

✍ Shengxiang Yang; Jat, S.N. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 609 KB

GS38P THE SAT-SET COURSE #1: DEVELOPING

✍ R. E. Blackham; J. M. Hamdorf 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 127 KB

A Course of study in the anatomical scie

✍ Dr. Charles E. Dinsmore; Harold A. Paul; Fred A. Sweet 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 774 KB

FPGA-based SAT solver architecture with

✍ Zhong, P.; Martonosi, M.; Ashar, P. 📂 Article 📅 2000 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 178 KB