| 2008 |
|---|
| 72 | EE | Luca Benini,
Michele Lombardi,
Marco Mantovani,
Michela Milano,
Martino Ruggiero:
Multi-stage Benders Decomposition for Optimizing Multicore Architectures.
CPAIOR 2008: 36-50 |
| 71 | EE | Martino Ruggiero,
Alessio Guerri,
Davide Bertozzi,
Michela Milano,
Luca Benini:
A Fast and Accurate Technique for Mapping Parallel Applications on Stream-Oriented MPSoC Platforms with Communication Awareness.
International Journal of Parallel Programming 36(1): 3-36 (2008) |
| 2007 |
|---|
| 70 | EE | Michele Lombardi,
Michela Milano:
Scheduling Conditional Task Graphs.
CP 2007: 468-482 |
| 69 | EE | Zeynep Kiziltan,
Andrea Lodi,
Michela Milano,
Fabio Parisini:
CP-Based Local Branching.
CP 2007: 847-855 |
| 68 | EE | Emiliano Dolif,
Michele Lombardi,
Martino Ruggiero,
Michela Milano,
Luca Benini:
Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip.
EMSOFT 2007: 47-56 |
| 2006 |
|---|
| 67 | EE | Michele Lombardi,
Michela Milano:
Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs.
CP 2006: 299-313 |
| 66 | EE | Alessandro Zanarini,
Michela Milano,
Gilles Pesant:
Improved Algorithm for the Soft Global Cardinality Constraint.
CPAIOR 2006: 288-299 |
| 65 | EE | Luca Benini,
Davide Bertozzi,
Alessio Guerri,
Michela Milano:
Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs.
CPAIOR 2006: 44-58 |
| 64 | EE | Martino Ruggiero,
Alessio Guerri,
Davide Bertozzi,
Francesco Poletti,
Michela Milano:
Communication-aware allocation and scheduling framework for stream-oriented multi-processor systems-on-chip.
DATE 2006: 3-8 |
| 63 | EE | Michela Milano,
Mark Wallace:
Integrating operations research in constraint programming.
4OR 4(3): 175-219 (2006) |
| 62 | EE | Roman Barták,
Michela Milano:
Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005).
Constraints 11(4): 269-270 (2006) |
| 61 | | Michela Milano,
Francesca Rossi:
Constraint Programming.
Intelligenza Artificiale 3(1-2): 28-34 (2006) |
| 2005 |
|---|
| 60 | | Roman Barták,
Michela Milano:
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings
Springer 2005 |
| 59 | EE | Luca Benini,
Davide Bertozzi,
Alessio Guerri,
Michela Milano:
Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation.
CP 2005: 107-121 |
| 58 | EE | Luca Benini,
Davide Bertozzi,
Alessio Guerri,
Michela Milano:
Allocation and Scheduling for MPSoCs via decomposition and no-good generation.
IJCAI 2005: 1517-1518 |
| 57 | | Marco Alberti,
Federico Chesani,
Alessio Guerri,
Marco Gavanelli,
Evelina Lamma,
Paola Mello,
Michela Milano,
Paolo Torroni:
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints.
W(C)LP 2005: 53-64 |
| 56 | EE | Marco Gavanelli,
Evelina Lamma,
Paola Mello,
Michela Milano:
Dealing with incomplete knowledge on CLP(FD) variable domains.
ACM Trans. Program. Lang. Syst. 27(2): 236-263 (2005) |
| 55 | | Luca Benini,
Davide Bertozzi,
Alessio Guerri,
Michela Milano,
Francesco Poletti:
Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip.
Intelligenza Artificiale 2(3): 13-20 (2005) |
| 54 | EE | Marco Alberti,
Marco Gavanelli,
Evelina Lamma,
Paola Mello,
Michela Milano:
A CHR-based implementation of known arc-consistency.
TPLP 5(4-5): 419-440 (2005) |
| 2004 |
|---|
| 53 | EE | Cormac Gebruers,
Alessio Guerri,
Brahim Hnich,
Michela Milano:
Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework.
CPAIOR 2004: 380-386 |
| 52 | | Willem Jan van Hoeve,
Michela Milano:
Postponing Branching Decisions.
ECAI 2004: 1105-1106 |
| 51 | | Alessio Guerri,
Michela Milano:
Learning Techniques for Automatic Algorithm Portfolio Selection.
ECAI 2004: 475-479 |
| 50 | EE | Willem Jan van Hoeve,
Michela Milano:
Decomposition Based Search - A theoretical and experimental evaluation
CoRR cs.AI/0407040: (2004) |
| 49 | EE | Willem Jan van Hoeve,
Michela Milano:
Postponing Branching Decisions
CoRR cs.AI/0407042: (2004) |
| 48 | EE | Michela Milano,
Willem Jan van Hoeve:
Reduced cost-based ranking for generating promising subproblems
CoRR cs.AI/0407044: (2004) |
| 47 | EE | Marco Alberti,
Marco Gavanelli,
Evelina Lamma,
Paola Mello,
Michela Milano:
A CHR-based Implementation of Known Arc-Consistency
CoRR cs.LO/0408056: (2004) |
| 46 | EE | Michela Milano,
Andrea Roli:
MAGMA: a multiagent architecture for metaheuristics.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 34(2): 925-941 (2004) |
| 45 | | Alessio Guerri,
Michela Milano:
Instance Structure-based Portfolio Selection.
Intelligenza Artificiale 1(2): 37-45 (2004) |
| 2003 |
|---|
| 44 | | Marco Gavanelli,
Evelina Lamma,
Paola Mello,
Michela Milano,
Paolo Torroni:
Interpreting Abduction in CLP.
APPIA-GULP-PRODE 2003: 25-35 |
| 43 | EE | Andrea Lodi,
Michela Milano,
Louis-Martin Rousseau:
Discrepancy-Based Additive Bounding for the AllDifferent Constraint.
CP 2003: 510-524 |
| 42 | EE | Alessio Guerri,
Michela Milano:
CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions.
CP 2003: 863-867 |
| 2002 |
|---|
| 41 | EE | Michela Milano,
Willem Jan van Hoeve:
Reduced Cost-Based Ranking for Generating Promising Subproblems.
CP 2002: 1-16 |
| 40 | EE | Marco Gavanelli,
Evelina Lamma,
Paola Mello,
Michela Milano:
Exploiting Constraints for Domain Managing in CLP(FD).
FroCos 2002: 177-191 |
| 39 | | Filippo Focacci,
Andrea Lodi,
Michela Milano:
Embedding Relaxations in Global Constraints for Solving TSP and TSPTW.
Ann. Math. Artif. Intell. 34(4): 291-311 (2002) |
| 38 | | Filippo Focacci,
Andrea Lodi,
Michela Milano:
Optimization-Oriented Global Constraints.
Constraints 7(3-4): 351-365 (2002) |
| 37 | EE | Michela Milano,
Greger Ottosson,
Philippe Refalo,
Erlendur S. Thorsteinsson:
The Role of Integer Programming Techniques in Constraint Programming's Global Constraints.
INFORMS Journal on Computing 14(4): 387-402 (2002) |
| 36 | EE | Filippo Focacci,
Andrea Lodi,
Michela Milano:
A Hybrid Exact Algorithm for the TSPTW.
INFORMS Journal on Computing 14(4): 403-417 (2002) |
| 35 | | Filippo Focacci,
Andrea Lodi,
Michela Milano:
Mathematical Programming Techniques in Constraint Programming: A Short Overview.
J. Heuristics 8(1): 7-17 (2002) |
| 2001 |
|---|
| 34 | EE | Rosy Barruffi,
Michela Milano:
Planning and Execution in Dynamic Environments.
AI*IA 2001: 382-387 |
| 33 | EE | Filippo Focacci,
Michela Milano:
Global Cut Framework for Removing Symmetries.
CP 2001: 77-92 |
| 32 | EE | Rosy Barruffi,
Michela Milano,
Rebecca Montanari:
Planning for Security Management.
IEEE Intelligent Systems 16(1): 74-80 (2001) |
| 31 | | Paola Mello,
Michela Milano,
Marco Gavanelli,
Evelina Lamma,
Massimo Piccardi,
Rita Cucchiara:
From Eager to Lazy Constrained Data Acquisition: A General Framework.
New Generation Comput. 19(4): 339-368 (2001) |
| 30 | | F. Bosi,
Michela Milano:
Enhancing CLP branch and bound techniques for scheduling problems.
Softw., Pract. Exper. 31(1): 17-42 (2001) |
| 2000 |
|---|
| 29 | EE | Filippo Focacci,
Andrea Lodi,
Michela Milano:
Cutting Planes in Constraint Programming: A Hybrid Approach.
CP 2000: 187-201 |
| 28 | EE | Rosy Barruffi,
Michela Milano,
Paolo Torroni:
Planning while Executing: A Constraint-Based Approach.
ISMIS 2000: 228-236 |
| 1999 |
|---|
| 27 | EE | Michela Milano,
Andrea Roli:
Solving the Satisfiability Problem through Boolean Networks.
AI*IA 1999: 72-83 |
| 26 | | Marco Gavanelli,
Evelina Lamma,
Michela Milano,
Paola Mello:
Domains as First Class Objects in CLP(FD).
APPIA-GULP-PRODE 1999: 411-424 |
| 25 | | Filippo Focacci,
Andrea Lodi,
Michela Milano:
Cost-Based Domain Filtering.
CP 1999: 189-203 |
| 24 | | Rosy Barruffi,
Evelina Lamma,
Paola Mello,
Michela Milano:
Least Commitment on Variable Binding in Presence of Incomplete Knowledge.
ECP 1999: 159-171 |
| 23 | | Michela Milano,
Andrea Omicini,
Fabrizio Riguzzi:
Adopting an Object-Oriented Data Model in Inductive Logic Programming.
FLAIRS Conference 1999: 273-279 |
| 22 | EE | Rita Cucchiara,
Evelina Lamma,
Paola Mello,
Michela Milano,
Massimo Piccardi:
3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction.
ICIAP 1999: 508-513 |
| 21 | | Filippo Focacci,
Michela Milano,
Andrea Lodi:
Soving TSP with Time Windows with Constraints.
ICLP 1999: 515-529 |
| 20 | | Marco Gavanelli,
Evelina Lamma,
Paola Mello,
Michela Milano:
Domains as First Class Objects in CLP(FD).
ICLP 1999: 608 |
| 19 | | Evelina Lamma,
Paola Mello,
Michela Milano,
Rita Cucchiara,
Marco Gavanelli,
Massimo Piccardi:
Constraint Propagation and Value Acquisition: Why we should do it Interactively.
IJCAI 1999: 468-477 |
| 18 | EE | Marco Gavanelli,
Michela Milano:
On the Need for a Different Backtracking Rule when Dealing with Late Evaluation.
Electr. Notes Theor. Comput. Sci. 30(2): (1999) |
| 17 | | Evelina Lamma,
Paola Mello,
Michela Milano,
Fabrizio Riguzzi:
Integrating Induction and Abduction in Logic Programming.
Inf. Sci. 116(1): 25-54 (1999) |
| 16 | | Evelina Lamma,
Michela Milano,
Paola Mello:
Reasoning on Constraints in CLP(FD).
J. Log. Program. 38(1): 93-110 (1999) |
| 1998 |
|---|
| 15 | | Evelina Lamma,
Michela Milano,
Rita Cucchiara,
Paola Mello,
Massimo Piccardi:
Interactive Constraint Satisfaction and its Application to Visual Object Recognition.
APPIA-GULP-PRODE 1998: 57-70 |
| 14 | | Rosy Barruffi,
Michela Milano:
Interactive Constraint Satisfaction techniques for Information Gathering in Planning.
ECAI 1998: 514-515 |
| 13 | | Evelina Lamma,
Michela Milano,
Paola Mello:
Extending Constraint Logic Programming for Temporal Reasoning.
Ann. Math. Artif. Intell. 22(1-2): 139-158 (1998) |
| 12 | | Alberto Caprara,
Filippo Focacci,
Evelina Lamma,
Paola Mello,
Michela Milano,
Paolo Toth,
Daniele Vigo:
Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem.
Softw., Pract. Exper. 28(1): 49-76 (1998) |
| 1997 |
|---|
| 11 | | Evelina Lamma,
Paola Mello,
Michela Milano,
Fabrizio Riguzzi:
Introducing Abduction into (Extensional) Inductive Logic Programming Systems.
AI*IA 1997: 183-194 |
| 10 | | Evelina Lamma,
Paola Mello,
Michela Milano,
Fabrizio Riguzzi:
An Algorithm for Learning Abductive Rules.
APPIA-GULP-PRODE 1997: 295-306 |
| 9 | | Evelina Lamma,
Michela Milano,
Paola Mello:
Reasoning on Constraints in Constraint Logic Programming.
ICLP 1997: 413 |
| 8 | | Rita Cucchiara,
Evelina Lamma,
Paola Mello,
Michela Milano:
An Interactive Constraint-Based System for Selective Attention in Visual Search.
ISMIS 1997: 431-440 |
| 7 | EE | Evelina Lamma,
Paola Mello,
Michela Milano,
Fabrizio Riguzzi:
A System for Abductive Learning of Logic Programs.
LPKR 1997: 102-122 |
| 6 | EE | Evelina Lamma,
Paola Mello,
Michela Milano:
A distributed constraint-based scheduler.
AI in Engineering 11(2): 91-105 (1997) |
| 1996 |
|---|
| 5 | | Evelina Lamma,
Paola Mello,
Michela Milano:
Enhancing Constraint Logic Programming through Meta Programming.
APPIA-GULP-PRODE 1996: 523-534 |
| 4 | | Evelina Lamma,
Paola Mello,
Michela Milano:
A Meta Constraint Logic Programming Architecture (Extended Abstract).
CP 1996: 549-550 |
| 3 | | Evelina Lamma,
Michela Milano,
Paola Mello:
Combining Solvers in a Meta Constraint Logic Programming Architecture.
Frontiers of Combining Systems (FroCos) 1996: 267-283 |
| 2 | | Vittorio Brusoni,
Luca Console,
Evelina Lamma,
Paola Mello,
Michela Milano,
Paolo Terenziani:
Resource-Based vs. Task-Based Approaches for Scheduling Problems.
ISMIS 1996: 325-334 |
| 1 | | Evelina Lamma,
Paola Mello,
Michela Milano:
Temporal Reasoning in a Meta Constraint Logic Programming Architecture.
TIME 1996 |
