| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ruggero Bellio, Luca Di Gaspero, Andrea Schaerf |
Design and statistical analysis of a hybrid local search algorithm for course timetabling.  |
J. Scheduling  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Chiarandini, Luca Di Gaspero, Stefano Gualandi, Andrea Schaerf |
The balanced academic curriculum problem revisited.  |
J. Heuristics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Bonutti, Fabio De Cesco, Luca Di Gaspero, Andrea Schaerf |
Benchmarking curriculum-based course timetabling: formulations, data formats, instances, validation, visualization, and results.  |
Annals OR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Ceschia, Luca Di Gaspero, Andrea Schaerf |
Design, engineering, and experimental analysis of a simulated annealing approach to the post-enrolment course timetabling problem.  |
Computers & OR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Ceschia, Luca Di Gaspero, Andrea Schaerf |
Tabu search techniques for the heterogeneous vehicle routing problem with time windows and carrier-dependent costs.  |
J. Scheduling  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Ceschia, Andrea Schaerf |
Local search and lower bounds for the patient admission scheduling problem.  |
Computers & OR  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Ceschia, Luca Di Gaspero, Andrea Schaerf |
Design, Engineering, and  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andrea Schaerf |
A Survey of Multi-Agent Systems for Optimization Problems.  |
WOA  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Luca Di Gaspero, Giacomo di Tollo, Andrea Roli, Andrea Schaerf |
Local Search for Constrained Financial Portfolio Selection Problems with Short Sellings.  |
LION  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry McCollum, Andrea Schaerf, Ben Paechter, Paul McMullan, Rhydian Lewis, Andrew J. Parkes, Luca Di Gaspero, Rong Qu, Edmund K. Burke |
Setting the Research Agenda in Automated Timetabling: The Second International Timetabling Competition.  |
INFORMS Journal on Computing  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Gaspero, Johannes Gärtner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser, Wolfgang Slany |
A Hybrid LS-CP Solver for the Shifts and Breaks Design Problem.  |
Hybrid Metaheuristics  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Ceschia, Andrea Schaerf |
Multi-neighborhood Local Search for the Patient Admission Problem.  |
Hybrid Metaheuristics  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. Blesa, Christian Blum, Luca Di Gaspero, Andrea Roli, Michael Sampels, Andrea Schaerf (eds.) |
Hybrid Metaheuristics, 6th International Workshop, HM 2009, Udine, Italy, October 16-17, 2009. Proceedings  |
Hybrid Metaheuristics  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Gaspero, Andrea Schaerf |
Hybrid Local Search Techniques for the Generalized Balanced Academic Curriculum Problem.  |
Hybrid Metaheuristics  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Gaspero, Andrea Schaerf |
A composite-neighborhood tabu search approach to the traveling tournament problem.  |
J. Heuristics  |
2007 |
DBLP DOI BibTeX RDF |
Composite neighborhood, Traveling tournament, Tournament scheduling, Local search, Tabu search, Traveling salesman |
| 1 | Luca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, Wolfgang Slany |
The minimum shift design problem.  |
Annals OR  |
2007 |
DBLP DOI BibTeX RDF |
Workforce scheduling, Local search, Hybrid algorithms, Greedy heuristics |
| 1 | Luca Di Gaspero, Giacomo di Tollo, Andrea Roli, Andrea Schaerf |
Hybrid Local Search for Constrained Financial Portfolio Selection Problems.  |
CPAIOR  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Pesek, Andrea Schaerf, Janez Zerovnik |
Hybrid Local Search Techniques for the Resource-Constrained Project Scheduling Problem.  |
Hybrid Metaheuristics  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Gaspero, Andrea Roli, Andrea Schaerf |
EasyAnalyzer: An Object-Oriented Framework for the Experimental Analysis of Stochastic Local Search Algorithms.  |
SLS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Gaspero, Andrea Schaerf |
EasySyn++: A Tool for Automatic Synthesis of Stochastic Local Search Algorithms.  |
SLS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Gaspero, Andrea Schaerf |
Neighborhood Portfolio Approach for Local Search Applied to Timetabling Problems.  |
J. Math. Model. Algorithms  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Gaspero, Marco Chiarandini, Andrea Schaerf |
A Study on the Short-Term Prohibition Mechanisms in Tabu Search.  |
ECAI  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andrea Schaerf, Luca Di Gaspero |
Measurability and Reproducibility in University Timetabling Research: Discussion and Proposals.  |
PATAT  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Andrea Schaerf |
: Compiling problem specifications into SAT.  |
Artif. Intell.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nysret Musliu, Andrea Schaerf, Wolfgang Slany |
Local search for shift design.  |
European Journal of Operational Research  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Gaspero, Andrea Schaerf |
The course timetabling problem: theory and practice.  |
Intelligenza Artificiale  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Luca Di Gaspero, Andrea Schaerf |
EasyLocal++: an object-oriented framework for the flexible design of local-search algorithms.  |
Softw., Pract. Exper.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Amnon Meisels, Andrea Schaerf |
Modelling and Solving Employee Timetabling Problems.  |
Ann. Math. Artif. Intell.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, Wolfgang Slany |
The Minimum Shift Design Problem: Theory and Practice.  |
ESA  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Gaspero, Andrea Schaerf |
Multi-neighbourhood Local Search with Application to Course Timetabling.  |
PATAT  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Schaerf |
Local Search Techniques for Constrained Portfolio Selection Problems  |
CoRR  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marco Cadoli, Andrea Schaerf |
Compiling Problem Specifications into SAT.  |
ESOP  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Schaerf, Marco Cadoli, Maurizio Lenzerini |
LOCAL++: A C++ framework for local search algorithms.  |
Softw., Pract. Exper.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Andrea Schaerf |
Programming in Alma-0, or Imperative and Declarative Programming Reconciled  |
CoRR  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile |
NP-SPEC: an executable specification language for solving all problems in NP.  |
Comput. Lang.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Gaspero, Andrea Schaerf |
Tabu Search Techniques for Examination Timetabling.  |
PATAT  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Schaerf |
Scheduling Sport Tournaments using Constraint Logic Programming.  |
Constraints  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Andrea Schaerf |
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming  |
CoRR  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Andrea Schaerf |
Local search techniques for large high school timetabling problems.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part A  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Schaerf |
A Survey of Automated Timetabling.  |
Artif. Intell. Rev.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile |
NP-SPEC: An Executable Specification Language for Solving All Problems in NP.  |
PADL  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Schaerf, Maurizio Lenzerini, Marco Cadoli |
LOCAL++: A C++ Framework for Local Search Algorithms.  |
TOOLS  |
1999 |
DBLP DOI BibTeX RDF |
Frameworks and patterns, Applications, Search algorithms |
| 1 | Andrea Schaerf, Amnon Meisels |
Solving Employee Timetabling Problems by Generalized Local Search.  |
AI*IA  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Andrea Schaerf |
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming.  |
Correct System Design  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf |
Alma-O: An Imperative Language That Supports Declarative Programming.  |
ACM Trans. Program. Lang. Syst.  |
1998 |
DBLP DOI BibTeX RDF |
search, declarative programming, imperative programming |
| 1 | Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf |
A Refined Architecture for Terminological Systems: Terminology = Schema + Views.  |
Artif. Intell.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf |
An Epistemic Operator for Description Logics.  |
Artif. Intell.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf |
AL-log: Integrating Datalog and Description Logics.  |
J. Intell. Inf. Syst.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Schaerf |
Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems.  |
IJCAI  |
1997 |
DBLP BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Andrea Schaerf |
Search and Imperative Programming.  |
POPL  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Schaerf |
Scheduling Sport Tournaments using Constraint Logic Programming.  |
ECAI  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Andrea Schaerf |
Tabu Search Techniques for Large High-School Timetabling Problems.  |
AAAI/IAAI, Vol. 1  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Andrea Schaerf, Yoav Shoham, Moshe Tennenholtz |
Adaptive Load Balancing: A Study in Multi-Agent Learning  |
CoRR  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Andrea Schaerf, Yoav Shoham, Moshe Tennenholtz |
Adaptive Load Balancing: A Study in Multi-Agent Learning.  |
J. Artif. Intell. Res. (JAIR)  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Schaerf |
Reasoning with Individuals in Concept Languages.  |
Data Knowl. Eng.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf |
Deduction in Concept Languages: From Subsumption to Instance Checking.  |
J. Log. Comput.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf |
Terminological Systems Revisited: Terminology = Schema + Views.  |
KRDB  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf |
Refining the Structure of Terminological Systems: Terminology = Schema + Views.  |
AAAI  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Martin Buchheit, Francesco M. Donini, Andrea Schaerf |
Decidable Reasoning in Terminological Knowledge Representation Systems  |
CoRR  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Martin Buchheit, Francesco M. Donini, Andrea Schaerf |
Decidable Reasoning in Terminological Knowledge Representation Systems.  |
J. Artif. Intell. Res. (JAIR)  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Schaerf |
On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification.  |
J. Intell. Inf. Syst.  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Buchheit, Francesco M. Donini, Andrea Schaerf |
Decidable Reasoning in Terminological Knowledge Representation Systems.  |
IJCAI  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Andrea Schaerf |
On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification.  |
ISMIS  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Schaerf |
Reasoning with Individuals in Concept Languages.  |
AI*IA  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf |
Queries, Rules and Definitions as Epistemic Sentences in Concept Languages.  |
ECAI Workshop on Knowledge Representation and Reasoning ![In: Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], pp. 113-132, 1992, Springer, 3-540-58107-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Schaerf |
On the Role of Subsumption Algorithms in Concept Description Languages.  |
Description Logics  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt |
Adding Epistemic Operators to Concept Languages.  |
KR  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Maurizio Lenzerini, Andrea Schaerf |
Querying Concept-based Knowledge Bases.  |
PDK  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf |
A Hybrid System with Datalog and Concept Languages.  |
AI*IA  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Lenzerini, Andrea Schaerf |
Concept Languages as Query Languages.  |
AAAI  |
1991 |
DBLP BibTeX RDF |
|