| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michele Lombardi, Michela Milano |
Optimal methods for resource allocation and scheduling: a cross-disciplinary survey.  |
Constraints  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Parisini, Michela Milano |
Sliced Neighborhood Search. |
Expert Syst. Appl. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeynep Kiziltan, Andrea Lodi, Michela Milano, Fabio Parisini |
Bounding, filtering and diversification in CP-based local branching. |
J. Heuristics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Lombardi, Michela Milano |
A min-flow algorithm for Minimal Critical Set detection in Resource Constrained Project Scheduling. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli |
Constraint and Optimization techniques for supporting Policy Making. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
| 1 | Alessio Bonfietti, Michele Lombardi, Luca Benini, Michela Milano |
Global Cyclic Cumulative Constraint. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Lombardi, Michela Milano, Andrea Roli, Alessandro Zanarini |
Deriving Information from Sampling and Diving. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Benini, Michele Lombardi, Michela Milano, Martino Ruggiero |
Optimal resource allocation and scheduling for the CELL BE platform. |
Annals OR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Roli, Michela Milano |
Solving the Satisfiability Problem Through Boolean Networks |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli |
Sustainable biomass power plant location in the Italian Emilia-Romagna region. |
ACM TIST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Parisini, Michela Milano |
Improving CP-based local branching via sliced neighborhood search. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Franceschelli, Paolo Burgio, Giuseppe Tagliavini, Andrea Marongiu, Martino Ruggiero, Michele Lombardi, Alessio Bonfietti, Michela Milano, Luca Benini |
MPOpt-Cell: a high-performance data-flow programming environment for the CELL BE processor. |
Conf. Computing Frontiers |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro Cangini, Paolo Cagnoli |
An Application of Fuzzy Logic to Strategic Environmental Assessment. |
AI*IA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Lombardi, Alessio Bonfietti, Michela Milano, Luca Benini |
Precedence Constraint Posting for Cyclic Scheduling Problems. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Bonfietti, Michele Lombardi, Luca Benini, Michela Milano |
A Constraint Based Approach to Cyclic RCPSP. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini |
Neuron Constraints to Model Complex Real-World Problems. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Lombardi, Michela Milano, Martino Ruggiero, Luca Benini |
Stochastic allocation and scheduling for conditional task graphs in multi-processor systems-on-chip. |
J. Scheduling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michela Milano, Mark Wallace |
Integrating Operations Research in Constraint Programming. |
Annals OR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli |
Logic-Based Decision Support for Strategic Environmental Assessment |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michele Lombardi, Michela Milano |
Allocation and scheduling of Conditional Task Graphs. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli |
Logic-based decision support for strategic environmental assessment. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Bonfietti, Luca Benini, Michele Lombardi, Michela Milano |
An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Andrea Lodi, Michela Milano, Paolo Toth (eds.) |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Lombardi, Michela Milano |
Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Parisini, Michele Lombardi, Michela Milano |
Discrepancy-Based Sliced Neighborhood Search. |
AIMSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michela Milano, Alessio Guerri |
Bid evaluation in combinatorial auctions: optimization and learning. |
Softw., Pract. Exper. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martino Ruggiero, Davide Bertozzi, Luca Benini, Michela Milano, A. Andrei |
Reducing the Abstraction and Optimality Gaps in the Allocation and Scheduling for Variable Voltage/Frequency MPSoC Platforms. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Roli, Michela Milano |
An Overview of AI Research in Italy. |
Artificial Intelligence: An International Perspective |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Lombardi, Michela Milano, Andrea Roli, Alessandro Zanarini |
Deriving Information from Sampling and Diving. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Lombardi, Michela Milano, Luca Benini |
Robust non-preemptive hard real-time scheduling for clustered multicore platforms. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alessio Bonfietti, Michele Lombardi, Michela Milano, Luca Benini |
Throughput Constraint for Synchronous Data Flow Graphs. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Lombardi, Michela Milano |
A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
scheduling, Integer Programming, Constraint Programming, MPSoCs, allocation |
| 1 | Marco Gavanelli, Michela Milano, Sergio Storari, Luca Tagliavini, Paola Baldazzi, Marilena Manfredi, Gianfranco Valastro |
Greedy and Exact Algorithms for Invitation Planning in Cancer Screening. |
New Challenges in Applied Intelligence Technologies |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martino Ruggiero, Michele Lombardi, Michela Milano, Luca Benini |
Cellflow: A Parallel Application Development Environment with Run-Time Support for the Cell BE Processor. |
DSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Benini, Davide Bertozzi, Michela Milano |
Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Benini, Michele Lombardi, Marco Mantovani, Michela Milano, Martino Ruggiero |
Multi-stage Benders Decomposition for Optimizing Multicore Architectures. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Benini, Michele Lombardi, Michela Milano, Martino Ruggiero |
A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
multimedia dataflow streaming, scheduling, allocation |
| 1 | Michele Lombardi, Michela Milano |
Scheduling Conditional Task Graphs. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeynep Kiziltan, Andrea Lodi, Michela Milano, Fabio Parisini |
CP-Based Local Branching. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michela Milano, Mark Wallace |
Integrating operations research in constraint programming. |
4OR |
2006 |
DBLP DOI BibTeX RDF |
MSC classifications 90C, 68T 68R99, 68T30, 68T27, 68T20 |
| 1 | Andrea Lodi, Michela Milano, Louis-Martin Rousseau |
Discrepancy-Based Additive Bounding Procedures. |
INFORMS Journal on Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michela Milano, Francesca Rossi |
Constraint Programming. |
Intelligenza Artificiale |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Zanarini, Michela Milano, Gilles Pesant |
Improved Algorithm for the Soft Global Cardinality Constraint. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano |
Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Lombardi, Michela Milano |
Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
Dealing with incomplete knowledge on CLP(FD) variable domains. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
domain acquisition, interaction, Constraints, streams, sets, lazy evaluation |
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
A CHR-based implementation of known arc-consistency. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano |
Allocation and Scheduling for MPSoCs via decomposition and no-good generation. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Michela Milano (eds.) |
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 |
CPAIOR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano |
Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Willem Jan van Hoeve, Michela Milano |
Postponing Branching Decisions |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
A CHR-based Implementation of Known Arc-Consistency |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michela Milano, Willem Jan van Hoeve |
Reduced cost-based ranking for generating promising subproblems |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Willem Jan van Hoeve, Michela Milano |
Decomposition Based Search - A theoretical and experimental evaluation |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michela Milano, Andrea Roli |
MAGMA: a multiagent architecture for metaheuristics. |
IEEE Transactions on Systems, Man, and Cybernetics, Part B |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Guerri, Michela Milano |
Instance Structure-based Portfolio Selection. |
Intelligenza Artificiale |
2004 |
DBLP BibTeX RDF |
|
| 1 | Willem Jan van Hoeve, Michela Milano |
Postponing Branching Decisions. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alessio Guerri, Michela Milano |
Learning Techniques for Automatic Algorithm Portfolio Selection. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Cormac Gebruers, Alessio Guerri, Brahim Hnich, Michela Milano |
Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework. |
CPAIOR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni |
Interpreting Abduction in CLP. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alessio Guerri, Michela Milano |
CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Lodi, Michela Milano, Louis-Martin Rousseau |
Discrepancy-Based Additive Bounding for the AllDifferent Constraint. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Focacci, Andrea Lodi, Michela Milano |
Optimization-Oriented Global Constraints. |
Constraints |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Focacci, Andrea Lodi, Michela Milano |
Mathematical Programming Techniques in Constraint Programming: A Short Overview. |
J. Heuristics |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Focacci, Andrea Lodi, Michela Milano |
Embedding Relaxations in Global Constraints for Solving TSP and TSPTW. |
Ann. Math. Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Focacci, Andrea Lodi, Michela Milano |
A Hybrid Exact Algorithm for the TSPTW. |
INFORMS Journal on Computing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
Exploiting Constraints for Domain Managing in CLP(FD). |
FroCos |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michela Milano, Willem Jan van Hoeve |
Reduced Cost-Based Ranking for Generating Promising Subproblems. |
CP |
2002 |
DBLP BibTeX RDF |
|
| 1 | F. Bosi, Michela Milano |
Enhancing CLP branch and bound techniques for scheduling problems. |
Softw., Pract. Exper. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosy Barruffi, Michela Milano, Rebecca Montanari |
Planning for Security Management. |
IEEE Intelligent Systems |
2001 |
DBLP DOI BibTeX RDF |
planning, constraint satisfaction, intrusion detection system, security management |
| 1 | Rosy Barruffi, Michela Milano |
Planning and Execution in Dynamic Environments. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Focacci, Michela Milano |
Global Cut Framework for Removing Symmetries. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosy Barruffi, Michela Milano, Paolo Torroni |
Planning while Executing: A Constraint-Based Approach. |
ISMIS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Filippo Focacci, Andrea Lodi, Michela Milano |
Cutting Planes in Constraint Programming: A Hybrid Approach. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Focacci, Andrea Lodi, Michela Milano, Daniele Vigo |
Solving TSP through the Integration of OR and CP Techniques. |
Electronic Notes in Discrete Mathematics |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Michela Milano, Paola Mello |
Reasoning on Constraints in CLP(FD). |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Michela Milano |
On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi |
Integrating Induction and Abduction in Logic Programming. |
Inf. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Rosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano |
Least Commitment on Variable Binding in Presence of Incomplete Knowledge. |
ECP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello |
Domains as First Class Objects in CLP(FD). |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Filippo Focacci, Michela Milano, Andrea Lodi |
Soving TSP with Time Windows with Constraints. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
Domains as First Class Objects in CLP(FD). |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Michela Milano, Andrea Roli |
Solving the Satisfiability Problem through Boolean Networks. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi |
3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. |
ICIAP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michela Milano, Andrea Omicini, Fabrizio Riguzzi |
Adopting an Object-Oriented Data Model in Inductive Logic Programming. |
FLAIRS Conference |
1999 |
DBLP BibTeX RDF |
|
| 1 | Filippo Focacci, Andrea Lodi, Michela Milano |
Cost-Based Domain Filtering. |
CP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Michela Milano, Paola Mello |
Extending Constraint Logic Programming for Temporal Reasoning. |
Ann. Math. Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosy Barruffi, Michela Milano |
Interactive Constraint Satisfaction techniques for Information Gathering in Planning. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Evelina Lamma, Michela Milano, Rita Cucchiara, Paola Mello, Massimo Piccardi |
Interactive Constraint Satisfaction and its Application to Visual Object Recognition. |
APPIA-GULP-PRODE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Evelina Lamma, Paola Mello, Michela Milano |
A distributed constraint-based scheduler. |
AI in Engineering |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")