Principles and practice of constraint programming : 25th International Conference, CP 2019, Stamford, CT, USA, September 30-October 4, 2019, Proceedings /: 25th International Conference, CP 2019, Stamford, CT, USA, September 30-October 4, 2019, Proceedings. (2019)

• Record Type: Book
• Other Titles: CP 2019
• Further Information: Note: Thomas Schiex, Simon de Givry (eds.).
• Editors: Schiex, Thomas; Givry, Simon de
• Other Names: CP (Conference), 25th
• Contents: Technical Track.- Instance Generation via Generator Instances.- Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints.- Exploring Declarative Local-Search Neighbourhoods with Constraint Programming.- Vehicle routing by learning from historical solutions.- On Symbolic Approaches for Computing the Matrix Permanent.- Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience.- Logic-Based Benders Decomposition for Super Solutions: an Application to the Kidney Exchange Problem.- Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics.- Industrial Size Job-Shop Scheduling tackled by Present-Day CP Solvers.- Dual Hashing-based Algorithms for Discrete Integration.- Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search.- A Join-Based Hybrid Parameter for Constraint Satisfaction.- An Incremental SAT-Based Approach to the Graph Colouring Problem.- Constraint-based Techniques in Stochastic Local Search MaxSAT Solving.- Trimming Graphs Using Clausal Proof Optimization.- Improved Job Sequencing Bounds from Decision Diagrams.- Integration of structural constraints into TSP models.- Representing fitness landscapes by valued constraints to understand the complexity of local search.- Estimating the Number of Solutions of Cardinality Constraints through range and roots Decomposition.- Understanding the Empirical Hardness of Random Optimisation Problems.- Guarded Constraint Models Define Treewidth Preserving Reductions.- Automatic Streamlining for Constrained Optimisation.- Compiling Conditional Constraints.- Training Binarized Neural Networks using MIP and CP.- Application Track.- Models for Radiation Therapy Patient Scheduling.- Constraint Programming-based Job Dispatching for Modern HPC Applications.- Scheduling of Mobile Robots using Constraint Programming.- Decomposition and Cut Generation Strategies for Solving Multi-Robot Deployment Problems.- Multi-agent and Parallel CP Track.- An Improved GPU-based SAT Model Counter.- Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems.- Testing and Verification Track.- A Cube Distribution Approach to QBF Solving and Certificate Minimization.- Functional Synthesis with Examples.- SolverCheck: Declarative Testing of Constraints.- Encodings for Enumeration-Based Program Synthesis.- Lemma Synthesis for Automating Induction over Algebraic Data Types.- CP and Data Science Track.- Modeling Pattern Set Mining using Boolean Circuits.- Differential Privacy of Hierarchical Census Data: An Optimization Approach.- Generic Constraint-based Block Modeling using Constraint Programming.- Reward Potentials for Planning with Learned Neural Network Transition Models.- Exploiting Counterfactuals for Scalable Stochastic Optimization.- Structure-driven Multiple Constraint Acquisition.- Computational Sustainability Track.- Towards robust scenarios of spatio-temporal renewable energy planning: A GIS-RO approach.- Peak-hour Rail Demand Shifting with Discrete Optimisation.- CP and Life Sciences Track.- Functional significance checking in noisy gene regulatory networks.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (xxvi, 788 pages), illustrations (some color)
• Subjects: 005.131; Constraint programming (Computer science) -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030300487
• Related ISBNs: 303030048X; 9783030300470
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 26, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.