SAT Model for the Curriculum-Based Course Timetabling Problem

Nelson Rangel-Valdez, José Torres Jiménez, Jorge Omar Jasso-Luna, Mario Humberto Rodriguez-Chavez. SAT Model for the Curriculum-Based Course Timetabling Problem. Research in Computing Science, 68:45-55, 2013. [doi]

Abstract

Abstract is missing.