7. CPAIOR 2010:
Bologna, Italy 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
export record as
dblp key:
export record as
dblp key:
Carla P. Gomes :
Challenges for CPAIOR in Computational Sustainability.
3-4
export record as
dblp key:
Peter J. Stuckey :
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving.
5-9
export record as
dblp key:
conf/cpaior/BeldiceanuCFP10
export record as
dblp key:
conf/cpaior/BeldiceanuHLP10
export record as
dblp key:
conf/cpaior/BenchimolRRRH10
export record as
dblp key:
Thierry Benoist :
Characterization and Automation of Matching-Based Neighborhoods.
45-50
export record as
dblp key:
export record as
dblp key:
conf/cpaior/CambazardOO10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/cpaior/FischettiS10a
export record as
dblp key:
conf/cpaior/GrandcolasP10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/cpaior/KasiviswanathanP10
export record as
dblp key:
export record as
dblp key:
Zeynep Kiziltan ,
Jacopo Mauro :
Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios.
246-251
export record as
dblp key:
Anna Moss :
Constraint Programming with Arbitrarily Large Integer Variables.
252-266
export record as
dblp key:
export record as
dblp key:
conf/cpaior/PrestwichTRH10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/cpaior/BertholdHLMS10
export record as
dblp key:
conf/cpaior/HentenryckBC10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key: