Variable and Value Ordering When Solving Balanced Academic Curriculum Problems - Carlos Castro; Sebastian Manzano (CoRR, 2001)