A
Andrea Schaerf
Researcher at University of Udine
Publications - 155
Citations - 7280
Andrea Schaerf is an academic researcher from University of Udine. The author has contributed to research in topics: Local search (optimization) & Tabu search. The author has an hindex of 48, co-authored 146 publications receiving 6938 citations. Previous affiliations of Andrea Schaerf include Sapienza University of Rome.
Papers
More filters
Journal ArticleDOI
A Survey of Automated Timetabling
TL;DR: A large number of variants of the timetabling problem have been proposed in the literature, which differ from each other based on the type of institution involved (university or school) and the types of constraints as mentioned in this paper.
Book
Reasoning in description logics
TL;DR: Techniques for reasoning and computational complex problems in Description Logics are surveyed, including reasoning with plain concept expressions, reasoning with instances of concepts, and reasoning with axioms.
Journal ArticleDOI
{\cal A}{\cal L} -log: Integrating Datalog and Description Logics
TL;DR: A method for query answering in AL-log based on constrained resolution, where the usual deduction procedure defined for Datalog is integrated with a method for reasoning on the structural knowledge.
Book ChapterDOI
Tabu Search Techniques for Examination Timetabling
Luca Di Gaspero,Andrea Schaerf +1 more
TL;DR: A family of solution algorithms for a set of variants of the EXAMINATION TIMETABLING problem, based on tabu search, that performs as well as constructive methods and memetic algorithms and only a decomposition based approach outperforms them in most cases.
Journal ArticleDOI
Setting the Research Agenda in Automated Timetabling: The Second International Timetabling Competition
Barry McCollum,Andrea Schaerf,Ben Paechter,Paul McMullan,Rhyd Lewis,Andrew J. Parkes,Luca Di Gaspero,Rong Qu,Edmund K. Burke +8 more
TL;DR: The broad aim of the competition was to create better understanding between researchers and practitioners by allowing emerging techniques to be developed and tested on real-world models of timetabling problems.