| 2019 | A Cube Distribution Approach to QBF Solving and Certificate Minimization. Li-Cheng Chen, Jie-Hong R. Jiang |
| 2019 | A Join-Based Hybrid Parameter for Constraint Satisfaction. Robert Ganian, Sebastian Ordyniak, Stefan Szeider |
| 2019 | An Improved GPU-Based SAT Model Counter. Johannes Klaus Fichte, Markus Hecher, Markus Zisser |
| 2019 | An Incremental SAT-Based Approach to the Graph Colouring Problem. Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski |
| 2019 | Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret |
| 2019 | Automatic Streamlining for Constrained Optimisation. Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel |
| 2019 | Compiling Conditional Constraints. Peter J. Stuckey, Guido Tack |
| 2019 | Constraint Programming-Based Job Dispatching for Modern HPC Applications. Cristian Galleguillos, Zeynep Kiziltan, Alina Sîrbu, Özalp Babaoglu |
| 2019 | Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco Manquinho |
| 2019 | Decomposition and Cut Generation Strategies for Solving Multi-Robot Deployment Problems. Adriana Pacheco, Cédric Pralet, Stéphanie Roussel |
| 2019 | Differential Privacy of Hierarchical Census Data: An Optimization Approach. Ferdinando Fioretto, Pascal Van Hentenryck |
| 2019 | Dual Hashing-Based Algorithms for Discrete Integration. Alexis de Colnet, Kuldeep S. Meel |
| 2019 | Encodings for Enumeration-Based Program Synthesis. Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho |
| 2019 | Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions. Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet |
| 2019 | Exploiting Counterfactuals for Scalable Stochastic Optimization. Stefan Kuhlemann, Meinolf Sellmann, Kevin Tierney |
| 2019 | Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. Md. Solimul Chowdhury, Martin Müller, Jia-Huai You |
| 2019 | Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey |
| 2019 | Functional Significance Checking in Noisy Gene Regulatory Networks. S. Akshay, Sukanya Basu, Supratik Chakraborty, Rangapriya Sundararajan, Prasanna Venkatraman |
| 2019 | Functional Synthesis with Examples. Grigory Fedyukovich, Aarti Gupta |
| 2019 | Generic Constraint-Based Block Modeling Using Constraint Programming. Alex Mattenet, Ian Davidson, Siegfried Nijssen, Pierre Schaus |
| 2019 | Guarded Constraint Models Define Treewidth Preserving Reductions. David Mitchell |
| 2019 | Improved Job Sequencing Bounds from Decision Diagrams. John N. Hooker |
| 2019 | Industrial Size Job Shop Scheduling Tackled by Present Day CP Solvers. Giacomo Da Col, Erich Christian Teppan |
| 2019 | Instance Generation via Generator Instances. Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Christopher Stone |
| 2019 | Integration of Structural Constraints into TSP Models. Nicolas Isoart, Jean-Charles Régin |
| 2019 | Lemma Synthesis for Automating Induction over Algebraic Data Types. Weikun Yang, Grigory Fedyukovich, Aarti Gupta |
| 2019 | Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem. Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan |
| 2019 | Modeling Pattern Set Mining Using Boolean Circuits. John O. R. Aoga, Siegfried Nijssen, Pierre Schaus |
| 2019 | Models for Radiation Therapy Patient Scheduling. Sara Frimodig, Christian Schulte |
| 2019 | On Symbolic Approaches for Computing the Matrix Permanent. Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi |
| 2019 | Peak-Hour Rail Demand Shifting with Discrete Optimisation. John M. Betts, David L. Dowe, Daniel Guimarans, Daniel Damir Harabor, Heshan Kumarage, Peter J. Stuckey, Michael Wybrow |
| 2019 | Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings Thomas Schiex, Simon de Givry |
| 2019 | Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems. Alexander Schiendorfer, Wolfgang Reif |
| 2019 | Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search. Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons |
| 2019 | Reward Potentials for Planning with Learned Neural Network Transition Models. Buser Say, Scott Sanner, Sylvie Thiébaux |
| 2019 | Scheduling of Mobile Robots Using Constraint Programming. Stanislav Murín, Hana Rudová |
| 2019 | SolverCheck: Declarative Testing of Constraints. Xavier Gillard, Pierre Schaus, Yves Deville |
| 2019 | Structure-Driven Multiple Constraint Acquisition. Dimosthenis C. Tsouros, Kostas Stergiou, Christian Bessiere |
| 2019 | Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. Emir Demirovic, Peter J. Stuckey |
| 2019 | Towards Robust Scenarios of Spatio-Temporal Renewable Energy Planning: A GIS-RO Approach. Nadeem Al-Kurdi, Benjamin Pillot, Carmen Gervet, Laurent Linguet |
| 2019 | Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience. Mohamed Sami Cherif, Djamal Habet |
| 2019 | Training Binarized Neural Networks Using MIP and CP. Rodrigo Toro Icarte, León Illanes, Margarita P. Castro, André A. Ciré, Sheila A. McIlraith, J. Christopher Beck |
| 2019 | Trimming Graphs Using Clausal Proof Optimization. Marijn J. H. Heule |
| 2019 | Understanding the Empirical Hardness of Random Optimisation Problems. Ciaran McCreesh, William Pettersson, Patrick Prosser |
| 2019 | Vehicle Routing by Learning from Historical Solutions. Rocsildes Canoy, Tias Guns |