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.
Lecture Notes in Computer Science 6140 Springer 2010
7. CPAIOR 2010:
Carla P. Gomes
: Challenges for CPAIOR in Computational Sustainability.
Peter J. Stuckey
: Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving.
: Characterization and Automation of Matching-Based Neighborhoods.
, Jacopo Mauro
: Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios.
: Constraint Programming with Arbitrarily Large Integer Variables.