Authors: Cadoli, M Ianni, G Palopoli, L Schaerf, A Vasile, D

Citation: M. Cadoli et al., NP-SPEC: an executable specification language for solving all problems in NP, COMPUT LANG, 26(2-4), 2000, pp. 165-195

Authors: Schaerf, A Cadoli, M Lenzerini, M

Citation: A. Schaerf et al., LOCAL++: A C++ framework for local search algorithms, SOFTW PR EX, 30(3), 2000, pp. 233-257

Authors: Schaerf, A

Citation: A. Schaerf, Local search techniques for large high school timetabling problems, IEEE SYST A, 29(4), 1999, pp. 368-377

Authors: Schaerf, A

Citation: A. Schaerf, A survey of automated timetabling, ARTIF INT R, 13(2), 1999, pp. 87-127

Authors: Apt, KR Brunekreef, J Partington, V Schaerf, A

Citation: Kr. Apt et al., Alma-0: An imperative language that supports declarative programming, ACM T PROGR, 20(5), 1998, pp. 1014-1066