Edited Collections

M. Milano Ed.
Constraint and Integer Programming: toward a unified methodology. Kluwer Academic Publisher, 2004.

R. Bartak, M.Milano
Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization
Springer Verlag, LNCS3524, 2005.

International Journals

M.Ruggiero, D.Bertozzi, M.Milano, L.Benini
A Fast and Accurate Technique for Mapping Parallel Applications on Stream-Oriented MPSoC Platforms with Communication Awareness,
International Journal of Parallel Programming, Vol.35, no.2, April 2007.

M. Milano, M. Wallace
Integratig Operations Research in Constraint Programming
4OR, A Quarterly Journal of Operations Research, 2006.

A. Lodi, M. Milano, L. M. Rousseau
Discrepancy-Based Additive Bounding Procedures,
INFORMS Journal on Computing, to appear.

M. Alberti, M. Gavanelli, E. Lamma, P. Mello, M. Milano
A CHR-based implementation for known arc-consistency
Theory and Practice of Logic Programming, Cambridge University Press, Vol. 5, N.4/5, 2005.

M. Gavanelli, E. Lamma, P. Mello, M. Milano
Chanelling Information Through FD domains.
ACM Transaction on Programming Languages and Systems, Vol 27 N. 2, 2005.

M. Milano, A. Roli
MAGMA: a Multiagent Architecture for Metaheuristics.
IEEE Transaction on Systems Man and Cybernetics, Part B, Vol 34 N. 2, 2004.

M. Milano, G. Ottoson, P. Refaio, E. Thorsteinsson
The role of Integer Programming techniques in Constraint Programming's Global Constraints
INFORMS Journal on Computing, Special Issue on "The Merging of Mathematical Programming and Constraint Programming", 14(4), 2002.

F. Focacci, A. Lodi, M. Milano
A Hybrid Exact Algorithm for the TSPTW
INFORMS Journal on Computing, Special Issue on "The Merging of Mathematical Programming and Constraint Programming", 14(4), 2002.

F. Focacci, A. Lodi, M. Milano
Optimization-oriented Global Constraints
Constraints, Special issue on CP'99, vol. 7, 2002.

F. Focacci, A. Lodi, M. Milano
Embedding Relaxations in Global Constraints for solving TSP and its time constrained variant
Annals of Mathematics and Artificial Intelligence, Special issue on Large Scale Combinatorial Optimization, Vol 34. pp. 291-311, Kluwer Academic Publishers, 2002..

R. Cucchiara, M.Gavanelli, E.Lamma, P.Mello, M.Milano, M.Piccardi
From eager to lazy constrained data acquisition: a general framework
New Generation Computing, 19, 2001.

F. Focacci, A. Lodi, M. Milano
Mathematical Programming techniques in Constraint Programming: a short overview
Journal of Heuristics, Kluwer Academic Publishers, Vol. 8, Issue 1, January 2002.

R. Barruffi, M. Milano, R. Montanari
Planning for Security Management
IEEE Intelligent Systems, Vol 16(1), IEEE Computer Society, 2001.

F. Bosi, M.Milano
Enhancing Constraint Logic Programming Branch and Bound Techniques for Scheduling Problems,
Software Practice & Experience, Vol 31, John Wiley & Sons, 2001.

M. Gavanelli, M.Milano
On the need of a Different Backtracking Rule when dealing with Late Evaluation,
Elettronic Notes on Theoretical Computer Science, Vol 30(2), Elsevier Science, 1999.

E.Lamma, M.Milano, P. Mello
Reasoning on Constraints in CLP(FD),
Journal of Logic Programming Vol 38(1), pp 93-110, 1999, North Holland, 1999.

F. Focacci, A. Lodi, M. Milano, D. Vigo,
Solving TSP through the Integration of OR and CP Techniques
Elettronic Notes on Discrete Mathematics, Vol. 1, Elsevier Science, 1999.

M. Gavanelli, E.Lamma, P.Mello, M.Milano,
Constraint Satisfaction Problems: an interactive agent-based approach
International Journal on Information Theories & Applications Vol. 6(1), pp 15-23, Foi-Commerce, 1999.

E.Lamma, P.Mello, M.Milano, F.Riguzzi,
Integrating Induction and Abduction in Logic Programming,
will appear on Information Sciences, Elsevier Science.
 
A.Caprara, F. Focacci, E. Lamma, P. Mello, M. Milano, P. Toth, D.Vigo,
Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem
Software Practice and Experience 28(1), p. 49-76, John Wiley & Sons, 1998.

E.Lamma, M.Milano, P.Mello,
Extending Constraint Logic programming for Temporal Reasoning,
Annals of Mathematics and Artificial Intelligence, Vol. 22, p.139-158, Baltzer, 1998.
 
E.Lamma, P.Mello, M.Milano,
A Distributed Constraint-Based Scheduler,
in Artificial Intelligence in Engeneering Vol. 11, pp.91-105, Elsevier Science, 1997.

International Journals (Guest Editor)

F.Focacci, A. Lodi, M. Milano, D Vigo Eds.
Special Issue on Integration of OR techniques in Constraint Programming,
Journal of Heuristics, Kluwer Academic Publishers.

R. Bartak, M.Milano
Special Issue on the Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization,
Constraints, Kluwer Academic Publishers, to appear, 2006.

International Conferences

M. Lombardi, M. Milano
Scheduling Conditional Task Graphs
International Conference on Principles and Proctice of Constraint Programming CP2007, Springer Verlag 2007.

Z. Kiziltan, A. Lodi, M. Milano, F. Parisini
Local branching in Constraint Programming
International Conference on Principles and Proctice of Constraint Programming CP2007, Springer Verlag 2007.

G.Pari, M.Ruggiero, A.Guerri, L.Benini, M.Milano,D.Bertozzi, A.Andrei
A Cooperative, accurate solving framework for optimal allocation, scheduling and frequency selection on energy-efficient MPSoCs
International Symposium on System-on-Chip 2006, pp.183-186, SoC06.

L.Benini, D. Bertozzi, A. Guerri, M.Milano
Allocation, Scheduling and Voltage Scaling for Energy Aware MPSOCs
International Conference on the Integration of Artificial Intelligence and Operations Research in Constraint Programming for Combinatorial Optimization, CPAIOR2006 LNCS 3990, Springer Verlag 2006.

A: Zanarini, M.Milano, G. Pesant
Improved algorithm for the soft global cardinality constraint
International Conference on the Integration of Artificial Intelligence and Operations Research in Constraint Programming for Combinatorial Optimization, CPAIOR2006 LNCS 3990, Springer Verlag 2006.

L.Benini, D. Bertozzi, A. Guerri, M.Milano, F. Poletti, M. Ruggiero
Allocation Communication-Aware Allocation and Scheduling Framework for Stream-Oriented Multi-Processor Systems-on-Chip
International Conference on Design and Automation in Europe, DATE 2006.

L.Benini, D. Bertozzi, A. Guerri, M.Milano
Allocation and Scheduling for MPSoCs via decomposition and no-good generation
International Joint Conference on Artificial Intelligence, IJCAI2005, poster version. Extended version in International Conference of Principle and Practice of Constraint Programming, CP2005.

A. Guerri, M.Milano
Learning Techniques for Automatic Algorithm Portfolio Selection
Sixteenth European Conference on Artificial Intelligence, ECAI2004, IOS Press, 2004.

W.J. van Hoeve, M.Milano
Postponing Branching Decisions
Sixteenth European Conference on Artificial Intelligence, ECAI2004, Poster paper, IOS Press, 2004.

C. Gebruers, B. Hnich, A. Guerri, M.Milano
Making Choices using Structure at the Instance Level within a Case Based Reasoning Framework
First International Conference on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems, CP-AI-OR04, LNCS 3011, Springer Verlag 2004.

A. Lodi, M.Milano, L.M. Rousseau
Discrepancy-Based additive bounding for the Alldifferent constraint
Proceedings of the International Conference of Principles and Practice of Constraint Programming, CP'2003, LNCS 2833, Springer Verlag, 2003.

A. Guerri, M.Milano
Exploring CP-IP based techniques for the bid evaluation in combinatorial auctions
Proceedings of the International Conference of Principles and Practice of Constraint Programming, CP'2003, LNCS 2833, Springer Verlag, 2003.

M.Milano, W.J. van Hoeve
Reduced cost based ranking for generating promising subproblems
Proceedings CP'2002.

F. Focacci, M. Milano
Global Cut Framework for Removing Symmetries
in Proceedings of CP'2001.

F.Focacci, A.Lodi, M.Milano
Cutting Planes in Constraint Programming: an hybrid approach
in Proceedings CP'2000, 2000

R. Barruffi, M.Milano, P. Torroni
Planning while executing: a constraint-based approach
in Proceedings ISMIS'00, 2000.

F.Focacci, A.Lodi, M.Milano
Cost-Based Domain Filtering
in Proceedings CP'99, 1999

R. Barruffi, E.Lamma, P.Mello, M.Milano
Least Commitment on Variable Binding in presence of Incomplete Knowledge
in Proceedings ECP'99, 1999.

F.Focacci, A.Lodi, M.Milano
Solving TSP with Time Windows with Constraints
in Proceedings ICLP'99

R. Cucchiara, M.Gavanelli, E.Lamma, P.Mello, M.Milano, M.Piccardi
Constraint Propagation and Value Acquisition: why we sould do it interactively
in Proceedings IJCAI’99

R. Cucchiara, E.Lamma, P.Mello, M.Milano, M.Piccardi
3D Object Recognition by VC-graph and Interactive Constraint Satisfaction
in Proceedings ICIAP’99

M.Gavanelli, E.Lamma, P.Mello, M.Milano
Constraint Satisfaction Problems: an interactive agent-based approach
Proceedings of International Conference on Information and Communication Technologies and Programming, ICT&P'99, 1999.

F. Bosi, M.Milano,
Enhancing CLP Branch and Bound Techniques for Scheduling Problems
in Proceedings PACLP’99

R. Cucchiara, M.Gavanelli, E.Lamma, P.Mello, M.Milano, M.Piccardi
Extending CLP(FD) with Interactive Data Acquisition for 3D Visual Object Recognition
in Proceedings PACLP’99
 
M. Milano, F. Riguzzi, A. Omicini
Adopting an Object-Oriented Data Model in Inductive Logic Programming
in Proceedings FLAIRS’ 99
 
R. Barruffi, M.Milano,
Interactive Constraint Satisfaction for Information Gathering in Planning,
Proceedings of ECAI’98
 
R. Barruffi, E. Lamma, M. Milano, R. Montanari, P. Mello,
Constraint-based Knowledge Acquisition and Verification for Planning,
in Proceedings of the International Conference on Knowledge Based Systems and Applied Artificial Intelligence, ES’98.

 R. Cucchiara, E.Lamma, P.Mello, M.Milano,
An interactive constraint-based system for selective attention in visual search
Proceedings of ISMIS97, LNAI, Springer Verlag, 1997.

 E.Lamma, P.Mello, M.Milano,
Reasoning on Constraints in Constraint Logic Programming
Proceedings ICLP’97.
 
E.Lamma, P.Mello, M.Milano, F.Riguzzi,
Integrating Induction and Abduction in Logic Programming,
Proceedings of 2nd International Conference on Computational Intelligence & Neuroscience Special Session on Logical Methods for Computational Intelligence, 1997.

F.Focacci, E.Lamma, P.Mello, M.Milano,
Constraint logic programming for the Crew Rostering Problem,
Proceedings of the PACT’97

 E.Lamma, P.Mello, M.Milano,
A Meta Constraint Logic Programming Architecture (An Extended Abstract),
Proceedings of CP’96

V.Brusoni, L.Console, E.Lamma, P.Mello, M.Milano, P.Terenziani,
Resource-Based vs. Task-Based Approaches to Scheduling,
Proceedings ISMIS96 - LNAI 1079.

E.Lamma, P.Mello, M.Milano, H.Pokidine
A Tool for Temporal Reasoning based on Constraint Logic Programming
Proceedings of ICSRIC96, 1996.

A.Dalfiume, E.Lamma, P.Mello, M.Milano,
A Constraint Logic Programming Application to a Distributed Train Scheduling Problem,
Proceedings of PAP95.

E.Lamma, P.Mello, M.Milano,
Temporal Constraint Handling in Scheduling Problems
Proceedings of Intersymp95.

E.Lamma, P.Mello, M.Milano, A.Torreggiani
Scheduling of Trains: An Application of Constraint Logic Programming and Temporal Reasoning
Proceedings of the ICSRIC’94.

E.Lamma, P.Mello, M.Milano, A.Torreggiani,
A Constraint Logic Programming Approach to the Train Scheduling Problem,
Proceedings of ES’94.
 

 
Books

L.Console, E.Lamma, P.Mello, M.Milano,
Programmazione Logica e Prolog
II Edizione, UTET, 1998.
 

National Journals

M. Milano, F. Rossi
Constraint Programming,
Intelligenza Artificiale, Numero speciale per i cinquant'anni dell'Intelligenza Artificiale, to appear, 2006.

A. Guerri, M. Milano
Learning techniques for algorithm portfolio selection,
Intelligenza Artificiale, N. 2 Maggio 2004.

 F. Focacci, A. Lodi, M. Milano, D. Vigo
An Introduction to Constraint Programming,
Ricerca Operativa 91 Special Issue on Constraint-based Problem Solving, pp.5-20, Franco Angeli, 2000

 M. Gavanelli, E. Lamma, P. Mello, M. Milano,
Performance Measurement of Interactive CSP Search Algorithms,
AI*IA Notizie, Numero 1, Marzo 2000.

 M. Milano, A. Roli,
Boolean Networks-based Algorithms for the Satisfiability Problem,
AI*IA Notizie Numero 1, Marzo 2000.

 E.Lamma, P.Mello, M.Milano,
Applicazione della Programmazione Logica a Vincoli al Ragionamento Temporale
AI*IA Notizie, Numero 1, Marzo 1997.

M.Milano,
A Distributed Constraint-Based Scheduler,
AI*IA Notizie, Numero 4, Dicembre 1995.
 

National Journals (Guest Editor)

F.Focacci, A. Lodi, M. Milano, D Vigo Eds.
Special Issue on Constraint-based Problem Solving, Ricerca Operativa n. 91, 2000, Franco Angeli.

 
National Conferences

R. Barruffi, M. Milano
Planning and execution in dynamic environments
Proceedings AI*IA2001, 2001.

R. Barruffi, E.Lamma, M. Milano, P. Mello
Planning with Incomplete and Dynamic Knowledge via Interactive Constraint Satisfaction
Proceedings AI*IA98, 1998.

R. Cucchiara, P.Mello, M. Piccardi, A. Vicentini, M.Milano, E. Mainardi
Multimedia service for International Trade
Proceedings AI*IA98, 1998.

R. Cucchiara, E.Lamma, P.Mello, M.Milano, M. Piccardi,
Interactive Constraint Satisfaction and its Application to Visual Object Recognition.
Proceedings APPIA-GULP-PRODE98.
 
E.Lamma, P.Mello, M.Milano, F.Riguzzi,
Introducing Abduction into (Extensional) ILP Systems.
Proceedings AI*IA 97, LNAI 1321, Springer Verlag, 1997.
 
E.Lamma, P.Mello, M.Milano, F.Riguzzi,
An Algorithm for Learning Abductive Rules
Proceedings APPIA-GULP-PRODE’97.
 
E.Lamma, M.Milano, P.Mello,
Enhancing Constraint Logic Programming through Meta Programming
Proceedings APPIA-GULP-PRODE96.
 
E.Lamma, P.Mello, M.Milano,
Enhancing Constraint Logic Programming for Partial Order Planning,
Proceedings AI*IA96.
 
 
Workshops

M.Milano, A.Roli.
On the relation between complete and incomplete search: an informal discussion.
Proceedings of the International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems, CP-AI-OR02.

M. Gavanelli, E. Lamma, P. Mello, M.Milano.
Exploiting constraints for domain managing in CLP(FD).
Proceedings of the 4th International Workshop on Frontiers of Combining Systems - FroCoS'2002, LNAI2309.

F.Focacci, M.Milano
Connections and Integrations of Dynamic Programming and Constraint Programming
Proceedings of the International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems, CP-AI-OR01.

R.Barruffi, M.Milano, R.Montanari
A multi agent approach to planning
Proceedings of the 19th Workshop of the UK Planning and Scheduling Special Interest Group, PlanSig'00, 2000.

M. Milano, G. Ottosson, P. Refalo, E.S. Thorsteinsson
The Benefits of Global Constraints for the Integration of Constraint Programming and Integer Programming,
Proceedings del AAAI-2000 Workshop on Integration of AI and OR Techniques for Combinatorial Optimization.

F.Focacci, A. Lodi, M.Milano
Cutting Planes in Constraint Programming: an hybrid approach
Proceedings of the International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems, CP-AI-OR00.

R.Barruffi, M.Milano, R.Montanari
Planning for Automated Response and Recovery from Intrusions
Proceedings of the 12th Annual Computer Security Incident, FIRST'00, 2000.

R.Barruffi, M.Milano, P.Torroni
Interactive Constraints for Plan Construction and Execution
Proceedings of the 18th Workshop of the UK Planning and Scheduling Special Interest Group, PlanSig'99, 1999.

M. Gavanelli, M. Milano
On the need for a different backtracking rule when dealing with late evaluation.
Proceedings of ICLP'99 Workshop on Optimization and Implementation of Declarative Programming Languages, WOID'99, 1999.

M. Gavanelli, E. Lamma, P. Mello, M. Milano
Domains as First Class Objects in CLP(FD),
Proceedings of the ERCIM/COMPULOG Workshop on Constraints, 1999.

R. Barruffi, M.Milano, R. Montanari
Planning for Security Management
will appear on Proceedings of AAAI'99 workshop on AI for Distributed Information Networking, AiDIN'99, AAAI Press, 1999.

F. Focacci, A. Lodi, M. Milano, D. Vigo,
Solving TSP through the Integration of OR and CP Techniques
CP98 Workshop on Large Scale Combinatorial Optimisations and Constraints, 1998.
 
F.Focacci, A. Lodi, M.Milano
Integration of CP and OR Methods for Matching Problems
Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems. CP-AI-OR99
 
R. Barruffi, E.Lamma, P.Mello, M.Milano,
Planning with Incomplete and Dynamic Knowlegde through Interactive Constraint Satisfaction
Proceedings of the AIPS Workshop on Dynamic Knowledge, AAAI Press 1998.

R. Cucchiara, P. Mello, M.Piccardi, E. Lamma, M. Gavanelli, M. Milano
Object Recognition by Interactive Constraint Satisfaction
Proceedings of IAPRVA'98 Tecniche di Intelligenza Artificiale e Pattern Recognition per la Visione Artificiale, 1998.

R.Barruffi, E.Lamma, M.Milano, P.Mello,
Interactive Constraint Satisfaction for Information Gathering in Planning
Workshop of the HP Openview University Association, HP-OVUA'98, 1998.
 
R.Barruffi, E.Lamma, M.Milano, P.Mello,
Application of Planning Techniques for System Configuration Tasks
Workshop of the HP Openview University Association, 1997.

E.Lamma, P.Mello, M.Milano, F.Riguzzi,
Integrating Extensional and Intensional ILP Systems through Abduction,
Proceedings del LOPSTR'97.

E. Lamma, P. Mello, M. Milano, F. Riguzzi,
A System for Learning Abductive Logic Programs,
Proceedings LPKR97, LNCS 1471, Springer Verlag, 1997.
 
E.Lamma, M.Milano, P.Mello,
Combining Constraint Solvers in a Meta CLP Architecture,
First International Workshop on Frontiers of Combining Systems, (FROCOS’96)
Kluwer Applied Science 1996.
 
E.Lamma, M.Milano, P.Mello,
Temporal Reasoning in a Meta Constraint Logic Programming Architecture,
Proceedings 3rd International Workshop on Time96, IEEE Computer Society Press.
 
E.Lamma, M.Milano, P.Mello,
A Multi-Level CLP Architecture for Consistency Techniques,
Proceedings CONSTRAINT96.
 
 
F.Focacci, E.Lamma, P.Mello, M.Milano,
A Constraint Logic Programming Approach to the Crew Rostering Problem,
Proceedings of the CP96 Workshop on Constraint Programming Applications.
 
F.Esposito, E.Lamma, D.Malerba, P.Mello, M.Milano, F.Riguzzi, G.Semeraro,
Learning Abductive Logic Programs,
Proceedings of ECAI workshop on Abductive and Inductive Reasoning, 1996.
 
E.Lamma, P.Mello, M.Milano,
Meta Programming in Constraint Logic Programming: a Constraint-based Perspective
Proceedings of META96.
 
E.Lamma, P.Mello, M.Milano,
Partial Order Planning via Constraint Logic Programming
Proceedings of the 15th Workshop of the UK Planning and Scheduling SIG, 1996.