Gift Guide

Principles and Practice of Constraint Programming - CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings / Edition 1

Paperback (Print)
Used and New from Other Sellers
Used and New from Other Sellers
from $107.53
Usually ships in 1-2 business days
(Save 27%)
Other sellers (Paperback)
  • All (8) from $107.53   
  • New (5) from $107.53   
  • Used (3) from $111.07   

More About This Textbook


This book constitutes the refereed proceedings of the 21 International Conference on Database and Expert Systems Applications, DEXA 2010, held in Bilbao, Spain, August 30-September 3, 2010.
The 45 revised full papers and 36 short papers were carefully reviewed and selected from197 submissions. The papers are organized in topical sections on Web, Semanics and Ontologies, Information Integration and Process Modelling, Streams and Multimedia Databases, Data Management Algorithms and Performance, Decision Support Systems and Performance, Data Streams, XML Databases, Programming Language and Cooperative Work, Query processing and Optimization, Data Privacy and Security, Temporal, Spatial, and High Dimensions Databases, Semantic Web and Ontologies.

Read More Show Less

Product Details

Table of Contents

Invited Talks

Sat Modulo Theories: Getting the Best of SAT and Global Constraint Filtering Robert Nieuwenhuis 1

Constraint-Directed Search in Computational Finance and Economics Edward Tsang 3

Constraints, Graphs, Algebra, Logic, and Complexity Moshe Y. Vardi 8

Distinguished Papers

Testing Expressibility Is Hard Ross Willard 9

Applying Constraint Programming to Identification and Assignment of Service Professionals Sigal Asaf Haggai Eran Yossi Richter Daniel P. Connors Donna L. Gresh Julio Ortega Michael J. Mcinnis 24

Computing the Density of States of Boolean Formulas Stefano Ermon Carla P. Gomes Bart Selman 38

Research Track

Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP David Allouche Simon de Givry Thomas Schiex 53

Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity Ignacio Araya Gilles Trombettoni Bertrand Neveu 61

Improving the Performance of maxRPC Thanasis Balafoutis Anastasia Paparrizou Kostas Stergiou Toby Walsh 69

Checking-Up on Branch-and-Check J. Christopher Beck 84

Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows Russell Bent Pascal Van Hentenryck 99

Decomposition of the NValue Constraint Christian Bessiere George Katsirelos Nina Narodytska Claude-Guy Quimper Toby Walsh 114

Propagating the Bin Packing Constraint Using Linear Programming Hadrien Cambazard Barry O'Sullivan 129

Sweeping with Continuous Domains Gilless Chabert Nicolas Beldiceanu 137

A New Hybrid Tractable Class of Soft Constraint Problems Martin C. Cooper Stanislav Zivný 152

A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies Alessandro Dal Palù Mathias Möhl Sebastian Will 167

Using Learnt Clauses in MAXSAT Jessica Davies Jeremy Cho Fahiem Bacchus 176

Domain Consistency with Forbidden Values Yves Deville Pascal Van Hentenryck 191

Generating Special-Purpose Stateless Propagators for Arbitrary Constraints Ian P. Gent Chris Jefferson Ian Miguel Peter Nightingale 206

Including Ordinary Differential Equations Based Constraints in the Standard CP Framework Alexandre Goldsztejn Olivier Mullier Damien Eveillard Hiroshi Hosobe 221

Structural Tractability of Enumerating CSP Solutions Gianluigi Greco Francesco Scarcello 236

Diversification and Intensification in Parallel SAT Solving Long Guo Youssef Hamadi Said Jabbour Lakhdar Sais 252

A Systematic Approach to MDD-Based Constraint Programming Samid Hoda Willem-Jan van Hoeve J.N. Hooker 266

A Complete Multi-valued SAT Solver Siddhartha Jain Eoin O'Mahony Meinolf Sellmann 281

Exact Cover via Satisfiability: An Empirical Study Tomm Junttila Petteri Kaski 297

On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry George Katsirelos Nina Narodytska Toby Walsh 305

Ensemble Classification for Constraint Solver Configuration Lars Kotthoff Ian Miguel Peter Nightingale 321

On Testing Constraint Programs Nadjib Lazaar Arnaud Gotlieb Yahia Lebbah 330

On the Containment of Forbidden Patterns Problems Florent Madelaine 345

Improving the Floating Point Addition and Subtraction Constraints Bruno Marre Claude Michel 360

The Lattice Structure of Sets of Surjective Hyper-Operations Barnaby Martin 368

Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution Michele Lombardi Michela Milano 383

Local Consistency and SAT-Solvers Justyna Petke Peter Jeavons 398

Heuristics for Planning with SAT Jussi Rintanen 414

Value-Ordering Heuristics: Search Performance vs. Solution Diversity Yevgeny Schreiber 429

A New O(n² log n) Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints Andreas Schutt Armin Wolf 445

A Generic Visualization Platform for CP Helmut Simonis Paul Davern Jacob Feldman Deepak Mehta Luis Quesada Mats Carlsson 460

Database Constraints and Homomorphism Dualities Balder ten Gate Phokion G. Kolaitis Wang-Chiew Tan 475

A Box-Consistency Contractor Based on Extremal Functions Gilles Trombettoni Yves Papegay Gilles Chabert Odile Pourtallier 491

Exponential Propagation for Set Variables Justin Yip Pascal Van Hentenryck 499

Applications Track

An Empirical Study of Optimization for Maximizing Diffusion in Networks Kiyan Ahmadizadeh Bistra Dilkina Carla P. Gomes Ashish Sabharwal 514

An Integrated Modelling, Debugging, and Visualisation Environment for G12 Andreas Bauer Viorica Botea Mark Brown Matt Gray Daniel Harabor John Slaney 522

Global Constraints on Feature Models Ahmet Serkan Karatas Halit oguztüzün Ali Dogru 537

Constraint Programming for Mining n-ary Patterns Mehdi Khiari Patrice Boizumault Bruno Crémilleux 552

An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management Roman van der Krogt Jacob Feldman James Little David Stynes 568

Context-Sensitive Call Control Using Constraints and Rules David Lesaint Deepak Mehta Barry O'Sullivan Luis Quesada Nic Wilson 583

Load Balancing and Almost Symmetries for RAMBO Quorum Hosting Laurent Michel Alexander A. Shvartsman Elaine Sonderegger Pascal Van Hentenryck 598

Testing Continuous Double Auctions with a Constraint-Based Oracle Roberto Castañeda Lozano Christian Schulte Lars Wahlberg 613

A Safe and Flexible CP-Based Approach for Velocity Tuning Problems Michaël Soulignac Michel Rueher Patrick Taillibert 628

Contingency Plans for Air Traffic Management Karl Sundequist Blomdahl Pierre Flener Justin Pearson 643

Author Index 659

Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star


4 Star


3 Star


2 Star


1 Star


Your Rating:

Your Name: Create a Pen Name or

Barnes & Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation


  • - By submitting a review, you grant to Barnes & and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Terms of Use.
  • - Barnes & reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)