A CHR-based implementation of known arc-consistency Read more about A CHR-based implementation of known arc-consistency
Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip Read more about Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip
Dealing with incomplete knowledge on CLP(FD) variable domains Read more about Dealing with incomplete knowledge on CLP(FD) variable domains
Allocation and Scheduling for MPSoCs via decomposition and no-good generation Read more about Allocation and Scheduling for MPSoCs via decomposition and no-good generation
Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation Read more about Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation
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 Read more about 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
Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005) Read more about Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005)
Communication-aware allocation and scheduling framework for stream-oriented multi-processor systems-on-chip Read more about Communication-aware allocation and scheduling framework for stream-oriented multi-processor systems-on-chip
Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs Read more about Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs
AI @ UniBOArtificial Intelligence Research at the University of Bologna