A survey of automated timetabling A Schaerf Artificial Intelligence Review 13 (2), 87-127, 1999 | 1330 | 1999 |
Reasoning in description logics FM Donini, M Lenzerini, D Nardi, A Schaerf Center for the Study of Language and Information, Stanford, CA. Principles …, 1997 | 579 | 1997 |
AL-log: Integrating Datalog and Description Logics FM Donini, M Lenzerini, D Nardi, A Schaerf Journal of Intelligent Information Systems 10, 227-252, 1998 | 412 | 1998 |
Decidable reasoning in terminological knowledge representation systems M Buchheit, FM Donini, A Schaerf Journal of artificial intelligence research 1, 109-138, 1993 | 395 | 1993 |
Tabu search techniques for examination timetabling L Di Gaspero, A Schaerf Practice and Theory of Automated Timetabling III: Third International …, 2001 | 361 | 2001 |
Setting the research agenda in automated timetabling: The second international timetabling competition B McCollum, A Schaerf, B Paechter, P McMullan, R Lewis, AJ Parkes, ... INFORMS Journal on Computing 22 (1), 120-130, 2010 | 307 | 2010 |
Adaptive load balancing: A study in multi-agent learning A Schaerf, Y Shoham, M Tennenholtz Journal of artificial intelligence research 2, 475-500, 1994 | 286 | 1994 |
The second international timetabling competition (ITC-2007): Curriculum-based course timetabling (track 3) L Di Gaspero, B McCollum, A Schaerf Technical Report QUB/IEEE/Tech/ITC2007/CurriculumCTT/v1. 0, Queen’s …, 2007 | 211 | 2007 |
An epistemic operator for description logics FM Donini, M Lenzerini, D Nardi, W Nutt, A Schaerf Artificial Intelligence 100 (1-2), 225-274, 1998 | 205 | 1998 |
EASYLOCAL++: an object‐oriented framework for the flexible design of local‐search algorithms L Di Gaspero, A Schaerf Software: Practice and Experience 33 (8), 733-765, 2003 | 195 | 2003 |
Local search techniques for constrained portfolio selection problems A Schaerf Computational Economics 20, 177-190, 2002 | 192 | 2002 |
Deduction in concept languages: From subsumption to instance checking FM Donini, M Lenzerini, D Nardi, A Schaerf Journal of logic and computation 4 (4), 423-452, 1994 | 188 | 1994 |
Tabu search techniques for large high-school timetabling problems A Schaerf Proceedings of the thirteenth national conference on Artificial intelligence …, 1996 | 182 | 1996 |
Reasoning with individuals in concept languages A Schaerf Data & Knowledge Engineering 13 (2), 141-176, 1994 | 181 | 1994 |
Local search techniques for large high school timetabling problems A Schaerf IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 1999 | 169 | 1999 |
The first international nurse rostering competition 2010 S Haspeslagh, P De Causmaecker, A Schaerf, M Stølevik Annals of Operations Research 218 (1), 221-236, 2014 | 147 | 2014 |
The first international nurse rostering competition 2010 S Haspeslagh, P De Causmaecker, A Schaerf, M Stølevik Annals of Operations Research 218 (1), 221-236, 2014 | 147 | 2014 |
Adding Epistemic Operators to Concept Languages. FM Donini, M Lenzerini, D Nardi, A Schaerf, W Nutt KR 92, 342-353, 1992 | 146 | 1992 |
A composite-neighborhood tabu search approach to the traveling tournament problem LD Gaspero, A Schaerf Journal of Heuristics 13, 189-207, 2007 | 135 | 2007 |
On the complexity of the instance checking problem in concept languages with existential quantification A Schaerf Journal of Intelligent Information Systems 2 (3), 265-278, 1993 | 134 | 1993 |