Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings /
This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019. The 44 full papers presented in this volume were carefully reviewed and selected from 118 submission...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
Έκδοση: | 1st ed. 2019. |
Σειρά: | Programming and Software Engineering ;
11802 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.