| Description |
1 online resource (xxiii, 836 pages) |
| Series |
Lecture notes in computer science ; 6876 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 6876.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Machine generated contents note: Invited Talks -- Orchestrating Satisfiability Engines / Leonardo de Moura -- Operations Research and Constraint Programming at Google / Laurent Perron -- Solving Problems with CP: Four Common Pitfalls to Avoid / Jean-Charles Regin -- Application Track Papers -- Constraint Seeker: Finding and Ranking Global Constraints from Examples / Helmut Simonis -- Bin Repacking Scheduling in Virtualized Datacenters / Xavier Lorca -- Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming / Petr Vilim -- Design of Cryptographic S-Boxes Using CSPs / Makoto Yokoo -- Optimal Carpet Cutting / Andrew R. Verden -- Hybrid Approach for Solving Real-World Nurse Rostering Problems / Helle Froyseth -- Constraint Programming for Controller Synthesis / Cedric Pralet -- Research Track Papers -- Neuron Constraints to Model Complex Real-World Problems / Luca Benini -- ̂ Constraint Based Approach to Cyclic RCPSP / Michela Milano -- Efficient Light Solver for Querying the Semantic Web / Christine Solnon -- On Guaranteeing Polynomially Bounded Search Tree Size / Daniel Marx -- Framework for Decision-Based Consistencies / Christophe Lecoutre -- Hierarchically Nested Convex VCSP / Stanislav Zivny -- Tractable Triangles / Stanislav Zivny -- On Minimal Weighted Clones / Stanislav Zivny -- Solving MAXSAT by Solving a Sequence of Simpler SAT Instances / Fahiem Bacchus -- Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource / Narendra Jussien -- Synthesis of Search Algorithms from High-Level CP Models / Laurent Michel -- Revisiting the tree Constraint / Xavier Lorca -- Half Reification and Flattening / Peter J. Stuckey -- Parameterized Complexity of Local Consistency / Stefan Szeider -- Symmetry Breaking in Numeric Constraint Problems / Carme Torras -- ̂ On Minimal Constraint Networks / Georg Gottlob |
|
Note continued: Structural Tractability of Constraint Optimization / Francesco Scarcello -- Models and Strategies for Variants of the Job Shop Scheduling Problem / Emmanuel Hebrard -- MaxRPC Algorithms Based on Bitwise Operations / Xuena Geng -- Grid-Based SAT Solving with Iterative Partitioning and Clause Learning / Ilkka Niemela -- Large Neighborhood Search for Dial-a-Ride Problems / Pascal Van Hentenryck -- On Deciding MUS Membership with QBF / Joao Marques-Silva -- On the Relative Efficiency of DPLL and OBDDs with Axiom and Join / Matti Jarvisalo -- Min CSP on Four Elements: Moving beyond Submodularity / Johan Thapper -- Algorithm Selection and Scheduling / Meinolf Sellmann -- Incorporating Variance in Impact-Based Search / Meinolf Sellmann -- Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints / Youcheu Ngo-Kateu -- CSP Solver Focusing on FAC Variables / Bertrand Mazure -- ̂ Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling / R. Bruce van Dover -- Solving Qualitative Constraints Involving Landmarks / Dayou Liu -- Searching for Doubly Self-orthogonal Latin Squares / Jian Zhang -- QCSP on Partially Reflexive Forests / Barnaby Martin -- Computational Complexity of Disconnected Cut and 2K2-Partition / Daniel Paulusma -- Reducing the Search Space of Resource Constrained DCOPs / Hiroshi Matsuo -- Proving Symmetries by Model Transformation / Mark Wallace -- Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering / Luis Quesada -- Boolean Equi-propagation for Optimized SAT Encoding / Peter J. Stuckey -- CP Models for Maximum Common Subgraph Problems / Christine Solnon -- Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation / Michael Maker -- ̂ Pseudo-Tree-Based Incomplete Algorithm for Distributed Constraint Optimization with Quality Bounds / Boi Faltings |
| Summary |
This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, CP 2011, held in Perugia, Italy, September 12-16, 2011. The 51 revised full papers and 7 short papers presented together with three invited talks were carefully reviewed and selected from 159 submissions. The papers are organized in topical sections on algorithms, environments, languages, models and systems, applications such as decision making, resource allocation and agreement technologies |
| Bibliography |
Includes bibliographical references and author index |
| Subject |
Constraint programming (Computer science) -- Congresses
|
|
Informatique.
|
|
Constraint programming (Computer science)
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Lee, Jimmy, PhD.
|
| ISBN |
9783642237867 |
|
364223786X |
|
