Browsing Comunicacions a congressos (Informàtica i Enginyeria Industrial) by Subject "Satisfiability"
Now showing items 1-1 of 1
-
Generating Hard Satisfiable Scheduling Instances
(European Conference on Planning, 2013)We present a random generator of partially complete round robin timetables that produces exclusively satisfiable instances, and provide experimental evidence that there is an easy-hard-easy pattern in the computational ...