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.