Throughput Constraint for Synchronous Data Flow Graphs Read more about Throughput Constraint for Synchronous Data Flow Graphs
A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations Read more about A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations
Deriving Information from Sampling and Diving Read more about Deriving Information from Sampling and Diving
Logic-based decision support for strategic environmental assessment Read more about Logic-based decision support for strategic environmental assessment
Allocation and scheduling of Conditional Task Graphs Read more about Allocation and scheduling of Conditional Task Graphs
Integrating Operations Research in Constraint Programming Read more about Integrating Operations Research in Constraint Programming
An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms Read more about An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms
Discrepancy-Based Sliced Neighborhood Search Read more about Discrepancy-Based Sliced Neighborhood Search
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 Read more about 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
{Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach} Read more about {Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach}
AI @ UniBOArtificial Intelligence Research at the University of Bologna