Coverart for item
The Resource Principles and practice of constraint programming : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings, Christian Schulte (eds.)

Principles and practice of constraint programming : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings, Christian Schulte (eds.)

Label
Principles and practice of constraint programming : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Title
Principles and practice of constraint programming
Title remainder
19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Statement of responsibility
Christian Schulte (eds.)
Title variation
CP 2013
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies
Member of
Dewey number
005.1/16
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2013
http://bibfra.me/vocab/lite/meetingName
CP (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Schulte, Christian
Series statement
  • Lecture Notes in Computer Science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
8124
http://library.link/vocab/subjectName
  • Constraint programming (Computer science)
  • Computer Science
  • Mathematical Logic and Formal Languages
  • Numeric Computing
  • Algorithm Analysis and Problem Complexity
  • Logics and Meanings of Programs
  • Discrete Mathematics in Computer Science
  • Programming Languages, Compilers, Interpreters
Label
Principles and practice of constraint programming : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings, Christian Schulte (eds.)
Instantiates
Publication
Note
International conference proceedings and author index
Antecedent source
unknown
Bibliography note
Includes bibliographical references
Color
multicolored
Contents
  • Decide Different!
  • Pascal Van Hentenryck
  • Invited System Presentation.
  • The Objective-CP Optimization System
  • Pascal Van Hentenryck, Laurent Michel
  • Parallel Discrepancy-Based Search
  • Thierry Moisan, Jonathan Gaudreault, Claude-Guy Quimper
  • Best Application Track Paper.
  • Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres
  • Hadrien Cambazard ... [et al.]
  • Invited Talks.
  • Best Student Paper.
  • Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem
  • Jean-Guillaume Fages, Tanguy Lapègue --
  • Optimization for Policy Making: The Cornerstone for an Integrated Approach
  • Michela Milano
  • Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning
  • Torsten Schaub
  • Those Who Cannot Remember the Past Are Condemned to Repeat It
  • Peter J. Stuckey
  • Invited Public Lecture.
  • Carlos Ansótegui ... [et al.]
  • MinSAT versus MaxSAT for Optimization Problems
  • Josep Argelich ... [et al.]
  • Adaptive Parameterized Consistency
  • Amine Balafrej ... [et al.]
  • Global Inverse Consistency for Interactive Constraint Satisfaction
  • Christian Bessiere, Hélène Fargier, Christophe Lecoutre
  • Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems
  • Simon Brockbank, Gilles Pesant, Louis-Martin Rousseau --
  • Technical Track Papers.
  • A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
  • Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
  • To Encode or to Propagate? The Best Choice for Each Constraint in SAT
  • Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell...
  • Automated Symmetry Breaking and Model Selection in Conjure
  • Ozgur Akgun ... [et al.]
  • Improving WPM2 for (Weighted) Partial MaxSAT
  • Postponing Optimization to Speed Up MAXSAT Solving
  • Jessica Davies, Fahiem Bacchus
  • Dead-End Elimination for Weighted CSP
  • Simon de Givry, Steven D. Prestwich, Barry O'Sullivan
  • Solving Weighted CSPs by Successive Relaxations
  • Erin Delisle, Fahiem Bacchus
  • Constraint-Based Program Reasoning with Heaps and Separation
  • Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh
  • Model Combinators for Hybrid Optimization
  • Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck
  • On the Reduction of the CSP Dichotomy Conjecture to Digraphs
  • Modelling Destructive Assignments
  • Kathryn Francis, Jorge Navas, Peter J. Stuckey
  • An Improved Search Algorithm for Min-Perturbation
  • Alex Fukunaga --
  • Jakub Bulín ... [et al.]
  • A Scalable Approximate Model Counter
  • Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
  • Dominance Driven Search
  • Geoffrey Chu, Peter J. Stuckey
  • Tractable Combinations of Global Constraints
  • David A. Cohen ... [et al.]
  • Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction
  • Peter Jonsson, Victor Lagerkvist, Gustav Nordh
  • Solving QBF with Free Variables
  • William Klieber ... [et al.]
  • Globalizing Constraint Models
  • Kevin Leo ... [et al.]
  • A New Propagator for Two-Layer Neural Networks in Empirical Model Learning
  • Michele Lombardi, Stefano Gualandi
  • Bandit-Based Search for Constraint Programming
  • Manuel Loth ... [et al.] --
  • Explaining Propagators for Edge-Valued Decision Diagrams
  • Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck
  • A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint
  • Stefano Gualandi, Michele Lombardi
  • Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search
  • Patricia Gutierrez ... [et al.]
  • Solving String Constraints: The Case for Constraint Programming
  • Jun He ... [et al.]
  • Breaking Symmetry with Different Orderings
  • Nina Narodytska, Toby Walsh
  • Time-Table Extended-Edge-Finding for the Cumulative Constraint
  • Pierre Ouellet, Claude-Guy Quimper
  • Revisiting the Cardinality Reasoning for BinPacking Constraint
  • François Pelsser, Pierre Schaus, Jean-Charles Régin
  • Value Interchangeability in Scenario Generation
  • Steven D. Prestwich, Marco Laumanns, Ban Kawas
  • Embarrassingly Parallel Search
  • Jean-Charles Régin, Mohamed Rezgui, Arnaud Malapert
  • Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability
  • Multi-Objective Large Neighborhood Search
  • Pierre Schaus, Renaud Hartert --
  • Chuan Luo ... [et al.]
  • Multi-Objective Constraint Optimization with Tradeoffs
  • Radu Marinescu, Abdul Razak, Nic Wilson
  • Multidimensional Bin Packing Revisited
  • Michael D. Moffitt
  • A Parametric Propagator for Discretely Convex Pairs of Sum Constraints
  • Jean-Noël Monette ... [et al.]
  • Primal and Dual Encoding from Applications into Quantified Boolean Formulas
  • Allen Van Gelder
  • Asynchronous Forward Bounding Revisited
  • Mohamed Wahbi, Redouane Ezzahir, Christian Bessiere
  • Optimizing STR Algorithms with Tuple Compression
  • Wei Xia, Roland H. C. Yap
  • Application Track Papers.
  • Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker
  • Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis
  • Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search
  • Scheduling Optional Tasks with Explanation
  • Quoc Trung Bui, Quang Dung Pham, Yves Deville --
  • Andreas Schutt, Thibaut Feydy, Peter J. Stuckey
  • Residential Demand Response under Uncertainty
  • Paul Scott ... [et al.]
  • Lifting Structural Tractability to CSP with Global Constraints
  • Evgenij Thorstensen
  • Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers
  • Djamal Habet, Donia Toumi
  • Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification
  • Reuven Naveh, Amit Metodi
  • Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks
  • M. A. Hakim Newton ... [et al.]
  • Automatic Generation and Delivery of Multiple-Choice Math Quizzes
  • Ana Paula Tomás, José Paulo Leal
  • Constrained Wine Blending
  • Philippe Vismara, Remi Coletta, Gilles Trombettoni
  • The Berth Allocation and Quay Crane Assignment Problem Using a CP Approach
  • Stéphane Zampelli ... [et al.]
  • Constraint-Based Approaches for Balancing Bike Sharing Systems
  • Luca Di Gaspero, Andrea Rendl, Tommaso Urli
  • Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems
  • Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann
  • Laser Cutting Path Planning Using CP
  • Mikael Z. Lagerkvist, Martin Nordkvist, Magnus Rattfeldt
  • Atom Mapping with Constraint Programming
  • Martin Mann ... [et al.]
Control code
ocn858916174
Dimensions
unknown
Extent
1 online resource (xviii, 898 pages)
File format
unknown
Form of item
online
Isbn
9783642406263
Isbn Type
(print)
Level of compression
unknown
Other control number
10.1007/978-3-642-40627-0
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)858916174
Label
Principles and practice of constraint programming : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings, Christian Schulte (eds.)
Publication
Note
International conference proceedings and author index
Antecedent source
unknown
Bibliography note
Includes bibliographical references
Color
multicolored
Contents
  • Decide Different!
  • Pascal Van Hentenryck
  • Invited System Presentation.
  • The Objective-CP Optimization System
  • Pascal Van Hentenryck, Laurent Michel
  • Parallel Discrepancy-Based Search
  • Thierry Moisan, Jonathan Gaudreault, Claude-Guy Quimper
  • Best Application Track Paper.
  • Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres
  • Hadrien Cambazard ... [et al.]
  • Invited Talks.
  • Best Student Paper.
  • Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem
  • Jean-Guillaume Fages, Tanguy Lapègue --
  • Optimization for Policy Making: The Cornerstone for an Integrated Approach
  • Michela Milano
  • Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning
  • Torsten Schaub
  • Those Who Cannot Remember the Past Are Condemned to Repeat It
  • Peter J. Stuckey
  • Invited Public Lecture.
  • Carlos Ansótegui ... [et al.]
  • MinSAT versus MaxSAT for Optimization Problems
  • Josep Argelich ... [et al.]
  • Adaptive Parameterized Consistency
  • Amine Balafrej ... [et al.]
  • Global Inverse Consistency for Interactive Constraint Satisfaction
  • Christian Bessiere, Hélène Fargier, Christophe Lecoutre
  • Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems
  • Simon Brockbank, Gilles Pesant, Louis-Martin Rousseau --
  • Technical Track Papers.
  • A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
  • Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
  • To Encode or to Propagate? The Best Choice for Each Constraint in SAT
  • Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell...
  • Automated Symmetry Breaking and Model Selection in Conjure
  • Ozgur Akgun ... [et al.]
  • Improving WPM2 for (Weighted) Partial MaxSAT
  • Postponing Optimization to Speed Up MAXSAT Solving
  • Jessica Davies, Fahiem Bacchus
  • Dead-End Elimination for Weighted CSP
  • Simon de Givry, Steven D. Prestwich, Barry O'Sullivan
  • Solving Weighted CSPs by Successive Relaxations
  • Erin Delisle, Fahiem Bacchus
  • Constraint-Based Program Reasoning with Heaps and Separation
  • Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh
  • Model Combinators for Hybrid Optimization
  • Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck
  • On the Reduction of the CSP Dichotomy Conjecture to Digraphs
  • Modelling Destructive Assignments
  • Kathryn Francis, Jorge Navas, Peter J. Stuckey
  • An Improved Search Algorithm for Min-Perturbation
  • Alex Fukunaga --
  • Jakub Bulín ... [et al.]
  • A Scalable Approximate Model Counter
  • Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
  • Dominance Driven Search
  • Geoffrey Chu, Peter J. Stuckey
  • Tractable Combinations of Global Constraints
  • David A. Cohen ... [et al.]
  • Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction
  • Peter Jonsson, Victor Lagerkvist, Gustav Nordh
  • Solving QBF with Free Variables
  • William Klieber ... [et al.]
  • Globalizing Constraint Models
  • Kevin Leo ... [et al.]
  • A New Propagator for Two-Layer Neural Networks in Empirical Model Learning
  • Michele Lombardi, Stefano Gualandi
  • Bandit-Based Search for Constraint Programming
  • Manuel Loth ... [et al.] --
  • Explaining Propagators for Edge-Valued Decision Diagrams
  • Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck
  • A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint
  • Stefano Gualandi, Michele Lombardi
  • Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search
  • Patricia Gutierrez ... [et al.]
  • Solving String Constraints: The Case for Constraint Programming
  • Jun He ... [et al.]
  • Breaking Symmetry with Different Orderings
  • Nina Narodytska, Toby Walsh
  • Time-Table Extended-Edge-Finding for the Cumulative Constraint
  • Pierre Ouellet, Claude-Guy Quimper
  • Revisiting the Cardinality Reasoning for BinPacking Constraint
  • François Pelsser, Pierre Schaus, Jean-Charles Régin
  • Value Interchangeability in Scenario Generation
  • Steven D. Prestwich, Marco Laumanns, Ban Kawas
  • Embarrassingly Parallel Search
  • Jean-Charles Régin, Mohamed Rezgui, Arnaud Malapert
  • Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability
  • Multi-Objective Large Neighborhood Search
  • Pierre Schaus, Renaud Hartert --
  • Chuan Luo ... [et al.]
  • Multi-Objective Constraint Optimization with Tradeoffs
  • Radu Marinescu, Abdul Razak, Nic Wilson
  • Multidimensional Bin Packing Revisited
  • Michael D. Moffitt
  • A Parametric Propagator for Discretely Convex Pairs of Sum Constraints
  • Jean-Noël Monette ... [et al.]
  • Primal and Dual Encoding from Applications into Quantified Boolean Formulas
  • Allen Van Gelder
  • Asynchronous Forward Bounding Revisited
  • Mohamed Wahbi, Redouane Ezzahir, Christian Bessiere
  • Optimizing STR Algorithms with Tuple Compression
  • Wei Xia, Roland H. C. Yap
  • Application Track Papers.
  • Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker
  • Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis
  • Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search
  • Scheduling Optional Tasks with Explanation
  • Quoc Trung Bui, Quang Dung Pham, Yves Deville --
  • Andreas Schutt, Thibaut Feydy, Peter J. Stuckey
  • Residential Demand Response under Uncertainty
  • Paul Scott ... [et al.]
  • Lifting Structural Tractability to CSP with Global Constraints
  • Evgenij Thorstensen
  • Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers
  • Djamal Habet, Donia Toumi
  • Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification
  • Reuven Naveh, Amit Metodi
  • Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks
  • M. A. Hakim Newton ... [et al.]
  • Automatic Generation and Delivery of Multiple-Choice Math Quizzes
  • Ana Paula Tomás, José Paulo Leal
  • Constrained Wine Blending
  • Philippe Vismara, Remi Coletta, Gilles Trombettoni
  • The Berth Allocation and Quay Crane Assignment Problem Using a CP Approach
  • Stéphane Zampelli ... [et al.]
  • Constraint-Based Approaches for Balancing Bike Sharing Systems
  • Luca Di Gaspero, Andrea Rendl, Tommaso Urli
  • Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems
  • Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann
  • Laser Cutting Path Planning Using CP
  • Mikael Z. Lagerkvist, Martin Nordkvist, Magnus Rattfeldt
  • Atom Mapping with Constraint Programming
  • Martin Mann ... [et al.]
Control code
ocn858916174
Dimensions
unknown
Extent
1 online resource (xviii, 898 pages)
File format
unknown
Form of item
online
Isbn
9783642406263
Isbn Type
(print)
Level of compression
unknown
Other control number
10.1007/978-3-642-40627-0
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)858916174

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...