default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th CP 2019: Stamford, CT, USA
- Thomas Schiex, Simon de Givry:
Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings. Lecture Notes in Computer Science 11802, Springer 2019, ISBN 978-3-030-30047-0
Technical Track
- Özgür Akgün
, Nguyen Dang, Ian Miguel, András Z. Salamon, Christopher Stone:
Instance Generation via Generator Instances. 3-19 - Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret:
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. 20-36 - Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey:
Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. 37-53 - Rocsildes Canoy, Tias Guns:
Vehicle Routing by Learning from Historical Solutions. 54-70 - Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Symbolic Approaches for Computing the Matrix Permanent. 71-90 - Mohamed Sami Cherif, Djamal Habet:
Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience. 91-107 - Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan:
Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem. 108-125 - Md. Solimul Chowdhury, Martin Müller, Jia-Huai You:
Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. 126-143 - Giacomo Da Col, Erich Christian Teppan:
Industrial Size Job Shop Scheduling Tackled by Present Day CP Solvers. 144-160 - Alexis de Colnet, Kuldeep S. Meel:
Dual Hashing-Based Algorithms for Discrete Integration. 161-176 - Emir Demirovic, Peter J. Stuckey:
Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. 177-194 - Robert Ganian, Sebastian Ordyniak, Stefan Szeider:
A Join-Based Hybrid Parameter for Constraint Satisfaction. 195-212 - Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski:
An Incremental SAT-Based Approach to the Graph Colouring Problem. 213-231 - Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco Manquinho:
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. 232-250 - Marijn J. H. Heule:
Trimming Graphs Using Clausal Proof Optimization. 251-267 - John N. Hooker:
Improved Job Sequencing Bounds from Decision Diagrams. 268-283 - Nicolas Isoart, Jean-Charles Régin:
Integration of Structural Constraints into TSP Models. 284-299 - Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons:
Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search. 300-316 - Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet:
Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions. 317-332 - Ciaran McCreesh, William Pettersson, Patrick Prosser:
Understanding the Empirical Hardness of Random Optimisation Problems. 333-349 - David Mitchell:
Guarded Constraint Models Define Treewidth Preserving Reductions. 350-365 - Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel:
Automatic Streamlining for Constrained Optimisation. 366-383 - Peter J. Stuckey, Guido Tack:
Compiling Conditional Constraints. 384-400 - Rodrigo Toro Icarte, León Illanes, Margarita P. Castro, André A. Ciré, Sheila A. McIlraith, J. Christopher Beck:
Training Binarized Neural Networks Using MIP and CP. 401-417
Application Track
- Sara Frimodig, Christian Schulte:
Models for Radiation Therapy Patient Scheduling. 421-437 - Cristian Galleguillos, Zeynep Kiziltan, Alina Sîrbu, Özalp Babaoglu:
Constraint Programming-Based Job Dispatching for Modern HPC Applications. 438-455 - Stanislav Murín, Hana Rudová:
Scheduling of Mobile Robots Using Constraint Programming. 456-471 - Adriana Pacheco, Cédric Pralet, Stéphanie Roussel:
Decomposition and Cut Generation Strategies for Solving Multi-Robot Deployment Problems. 472-487
Multi-agent and Parallel CP Track
- Johannes Klaus Fichte, Markus Hecher, Markus Zisser:
An Improved GPU-Based SAT Model Counter. 491-509 - Alexander Schiendorfer, Wolfgang Reif:
Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems. 510-526
Testing and Verification Track
- Li-Cheng Chen, Jie-Hong R. Jiang:
A Cube Distribution Approach to QBF Solving and Certificate Minimization. 529-546 - Grigory Fedyukovich, Aarti Gupta:
Functional Synthesis with Examples. 547-564 - Xavier Gillard, Pierre Schaus, Yves Deville:
SolverCheck: Declarative Testing of Constraints. 565-582 - Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho:
Encodings for Enumeration-Based Program Synthesis. 583-599 - Weikun Yang, Grigory Fedyukovich, Aarti Gupta:
Lemma Synthesis for Automating Induction over Algebraic Data Types. 600-617
CP and Data Science Track
- John O. R. Aoga, Siegfried Nijssen, Pierre Schaus:
Modeling Pattern Set Mining Using Boolean Circuits. 621-638 - Ferdinando Fioretto, Pascal Van Hentenryck:
Differential Privacy of Hierarchical Census Data: An Optimization Approach. 639-655 - Alex Mattenet, Ian Davidson, Siegfried Nijssen, Pierre Schaus:
Generic Constraint-Based Block Modeling Using Constraint Programming. 656-673 - Buser Say, Scott Sanner, Sylvie Thiébaux:
Reward Potentials for Planning with Learned Neural Network Transition Models. 674-689 - Stefan Kuhlemann, Meinolf Sellmann, Kevin Tierney:
Exploiting Counterfactuals for Scalable Stochastic Optimization. 690-708 - Dimosthenis C. Tsouros, Kostas Stergiou, Christian Bessiere:
Structure-Driven Multiple Constraint Acquisition. 709-725
Computational Sustainability Track
- Nadeem Al-Kurdi, Benjamin Pillot, Carmen Gervet, Laurent Linguet:
Towards Robust Scenarios of Spatio-Temporal Renewable Energy Planning: A GIS-RO Approach. 729-747 - John M. Betts, David L. Dowe, Daniel Guimarans, Daniel Damir Harabor, Heshan Kumarage, Peter J. Stuckey, Michael Wybrow:
Peak-Hour Rail Demand Shifting with Discrete Optimisation. 748-763
CP and Life Sciences Track
- S. Akshay, Sukanya Basu, Supratik Chakraborty, Rangapriya Sundararajan, Prasanna Venkatraman:
Functional Significance Checking in Noisy Gene Regulatory Networks. 767-785
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 01:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
