| 2008 |
|---|
| 56 | EE | Luca Di Gaspero,
Andrea Schaerf:
Hybrid Local Search Techniques for the Generalized Balanced Academic Curriculum Problem.
Hybrid Metaheuristics 2008: 146-157 |
| 2007 |
|---|
| 55 | EE | Luca Di Gaspero,
Giacomo di Tollo,
Andrea Roli,
Andrea Schaerf:
Hybrid Local Search for Constrained Financial Portfolio Selection Problems.
CPAIOR 2007: 44-58 |
| 54 | EE | Igor Pesek,
Andrea Schaerf,
Janez Zerovnik:
Hybrid Local Search Techniques for the Resource-Constrained Project Scheduling Problem.
Hybrid Metaheuristics 2007: 57-68 |
| 53 | EE | Luca Di Gaspero,
Andrea Schaerf:
EasySyn++: A Tool for Automatic Synthesis of Stochastic Local Search Algorithms.
SLS 2007: 177-181 |
| 52 | EE | Luca Di Gaspero,
Andrea Roli,
Andrea Schaerf:
EasyAnalyzer: An Object-Oriented Framework for the Experimental Analysis of Stochastic Local Search Algorithms.
SLS 2007: 76-90 |
| 51 | EE | Luca Di Gaspero,
Johannes Gärtner,
Guy Kortsarz,
Nysret Musliu,
Andrea Schaerf,
Wolfgang Slany:
The minimum shift design problem.
Annals OR 155(1): 79-105 (2007) |
| 50 | EE | Luca Di Gaspero,
Andrea Schaerf:
A composite-neighborhood tabu search approach to the traveling tournament problem.
J. Heuristics 13(2): 189-207 (2007) |
| 2006 |
|---|
| 49 | | Luca Di Gaspero,
Marco Chiarandini,
Andrea Schaerf:
A Study on the Short-Term Prohibition Mechanisms in Tabu Search.
ECAI 2006: 83-87 |
| 48 | EE | Andrea Schaerf,
Luca Di Gaspero:
Measurability and Reproducibility in University Timetabling Research: Discussion and Proposals.
PATAT 2006: 40-49 |
| 2005 |
|---|
| 47 | EE | Marco Cadoli,
Andrea Schaerf:
: Compiling problem specifications into SAT.
Artif. Intell. 162(1-2): 89-120 (2005) |
| 2004 |
|---|
| 46 | EE | Nysret Musliu,
Andrea Schaerf,
Wolfgang Slany:
Local search for shift design.
European Journal of Operational Research 153(1): 51-64 (2004) |
| 45 | | Luca Di Gaspero,
Andrea Schaerf:
The course timetabling problem: theory and practice.
Intelligenza Artificiale 1(3): 47-54 (2004) |
| 2003 |
|---|
| 44 | EE | Luca Di Gaspero,
Johannes Gärtner,
Guy Kortsarz,
Nysret Musliu,
Andrea Schaerf,
Wolfgang Slany:
The Minimum Shift Design Problem: Theory and Practice.
ESA 2003: 593-604 |
| 43 | | Amnon Meisels,
Andrea Schaerf:
Modelling and Solving Employee Timetabling Problems.
Ann. Math. Artif. Intell. 39(1-2): 41-59 (2003) |
| 42 | | Luca Di Gaspero,
Andrea Schaerf:
EasyLocal++: an object-oriented framework for the flexible design of local-search algorithms.
Softw., Pract. Exper. 33(8): 733-765 (2003) |
| 2002 |
|---|
| 41 | EE | Luca Di Gaspero,
Andrea Schaerf:
Multi-neighbourhood Local Search with Application to Course Timetabling.
PATAT 2002: 262-275 |
| 2001 |
|---|
| 40 | EE | Marco Cadoli,
Andrea Schaerf:
Compiling Problem Specifications into SAT.
ESOP 2001: 387-401 |
| 39 | EE | Andrea Schaerf:
Local Search Techniques for Constrained Portfolio Selection Problems
CoRR cs.CE/0104017: (2001) |
| 2000 |
|---|
| 38 | EE | Luca Di Gaspero,
Andrea Schaerf:
Tabu Search Techniques for Examination Timetabling.
PATAT 2000: 104-117 |
| 37 | EE | Krzysztof R. Apt,
Andrea Schaerf:
Programming in Alma-0, or Imperative and Declarative Programming Reconciled
CoRR cs.LO/0004002: (2000) |
| 36 | | Marco Cadoli,
Giovambattista Ianni,
Luigi Palopoli,
Andrea Schaerf,
Domenico Vasile:
NP-SPEC: an executable specification language for solving all problems in NP.
Comput. Lang. 26(2-4): 165-195 (2000) |
| 35 | | Andrea Schaerf,
Marco Cadoli,
Maurizio Lenzerini:
LOCAL++: A C++ framework for local search algorithms.
Softw., Pract. Exper. 30(3): 233-257 (2000) |
| 1999 |
|---|
| 34 | EE | Andrea Schaerf,
Amnon Meisels:
Solving Employee Timetabling Problems by Generalized Local Search.
AI*IA 1999: 380-389 |
| 33 | EE | Krzysztof R. Apt,
Andrea Schaerf:
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming.
Correct System Design 1999: 89-113 |
| 32 | EE | Marco Cadoli,
Luigi Palopoli,
Andrea Schaerf,
Domenico Vasile:
NP-SPEC: An Executable Specification Language for Solving All Problems in NP.
PADL 1999: 16-30 |
| 31 | EE | Andrea Schaerf,
Maurizio Lenzerini,
Marco Cadoli:
LOCAL++: A C++ Framework for Local Search Algorithms.
TOOLS (29) 1999: 152-161 |
| 30 | | Andrea Schaerf:
A Survey of Automated Timetabling.
Artif. Intell. Rev. 13(2): 87-127 (1999) |
| 29 | EE | Krzysztof R. Apt,
Andrea Schaerf:
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
CoRR cs.LO/9907027: (1999) |
| 28 | | Andrea Schaerf:
Scheduling Sport Tournaments using Constraint Logic Programming.
Constraints 4(1): 43-65 (1999) |
| 27 | | Andrea Schaerf:
Local search techniques for large high school timetabling problems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 29(4): 368-377 (1999) |
| 1998 |
|---|
| 26 | EE | Krzysztof R. Apt,
Jacob Brunekreef,
Vincent Partington,
Andrea Schaerf:
Alma-O: An Imperative Language That Supports Declarative Programming.
ACM Trans. Program. Lang. Syst. 20(5): 1014-1066 (1998) |
| 25 | EE | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt,
Andrea Schaerf:
An Epistemic Operator for Description Logics.
Artif. Intell. 100(1-2): 225-274 (1998) |
| 24 | EE | Martin Buchheit,
Francesco M. Donini,
Werner Nutt,
Andrea Schaerf:
A Refined Architecture for Terminological Systems: Terminology = Schema + Views.
Artif. Intell. 99(2): 209-260 (1998) |
| 23 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Andrea Schaerf:
AL-log: Integrating Datalog and Description Logics.
J. Intell. Inf. Syst. 10(3): 227-252 (1998) |
| 1997 |
|---|
| 22 | | Andrea Schaerf:
Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems.
IJCAI 1997: 1254-1259 |
| 21 | EE | Krzysztof R. Apt,
Andrea Schaerf:
Search and Imperative Programming.
POPL 1997: 67-79 |
| 1996 |
|---|
| 20 | | Andrea Schaerf:
Tabu Search Techniques for Large High-School Timetabling Problems.
AAAI/IAAI, Vol. 1 1996: 363-368 |
| 19 | | Andrea Schaerf:
Scheduling Sport Tournaments using Constraint Logic Programming.
ECAI 1996: 634-638 |
| 1995 |
|---|
| 18 | EE | Andrea Schaerf,
Yoav Shoham,
Moshe Tennenholtz:
Adaptive Load Balancing: A Study in Multi-Agent Learning
CoRR cs.AI/9505102: (1995) |
| 17 | | Andrea Schaerf,
Yoav Shoham,
Moshe Tennenholtz:
Adaptive Load Balancing: A Study in Multi-Agent Learning.
J. Artif. Intell. Res. (JAIR) 2: 475-500 (1995) |
| 1994 |
|---|
| 16 | | Martin Buchheit,
Werner Nutt,
Francesco M. Donini,
Andrea Schaerf:
Refining the Structure of Terminological Systems: Terminology = Schema + Views.
AAAI 1994: 199-204 |
| 15 | EE | Martin Buchheit,
Francesco M. Donini,
Werner Nutt,
Andrea Schaerf:
Terminological Systems Revisited: Terminology = Schema + Views.
KRDB 1994 |
| 14 | | Andrea Schaerf:
Reasoning with Individuals in Concept Languages.
Data Knowl. Eng. 13(2): 141-176 (1994) |
| 13 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Andrea Schaerf:
Deduction in Concept Languages: From Subsumption to Instance Checking.
J. Log. Comput. 4(4): 423-452 (1994) |
| 1993 |
|---|
| 12 | | Andrea Schaerf:
Reasoning with Individuals in Concept Languages.
AI*IA 1993: 108-119 |
| 11 | | Martin Buchheit,
Francesco M. Donini,
Andrea Schaerf:
Decidable Reasoning in Terminological Knowledge Representation Systems.
IJCAI 1993: 704-709 |
| 10 | | Andrea Schaerf:
On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification.
ISMIS 1993: 508-517 |
| 9 | EE | Martin Buchheit,
Francesco M. Donini,
Andrea Schaerf:
Decidable Reasoning in Terminological Knowledge Representation Systems
CoRR cs.AI/9312101: (1993) |
| 8 | | Martin Buchheit,
Francesco M. Donini,
Andrea Schaerf:
Decidable Reasoning in Terminological Knowledge Representation Systems.
J. Artif. Intell. Res. (JAIR) 1: 109-138 (1993) |
| 7 | | Andrea Schaerf:
On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification.
J. Intell. Inf. Syst. 2(3): 265-278 (1993) |
| 1992 |
|---|
| 6 | | Andrea Schaerf:
On the Role of Subsumption Algorithms in Concept Description Languages.
Description Logics 1992: 86-97 |
| 5 | | 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 1992: 113-132 |
| 4 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Andrea Schaerf,
Werner Nutt:
Adding Epistemic Operators to Concept Languages.
KR 1992: 342-353 |
| 1991 |
|---|
| 3 | | Maurizio Lenzerini,
Andrea Schaerf:
Concept Languages as Query Languages.
AAAI 1991: 471-476 |
| 2 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Andrea Schaerf:
A Hybrid System with Datalog and Concept Languages.
AI*IA 1991: 88-97 |
| 1 | | Maurizio Lenzerini,
Andrea Schaerf:
Querying Concept-based Knowledge Bases.
PDK 1991: 107-123 |
