| 2019 | Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. | Andreia P. Guerreiro, Miguel Terra-Neves, Ins Lynce, Jos Rui Figueira, Vasco Manquinho |
| 2019 | An Incremental SAT-Based Approach to the Graph Colouring Problem. | Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski |
| 2019 | SolverCheck: Declarative Testing of Constraints. | Xavier Gillard, Pierre Schaus, Yves Deville |
| 2019 | A Join-Based Hybrid Parameter for Constraint Satisfaction. | Robert Ganian, Sebastian Ordyniak, Stefan Szeider |
| 2019 | Constraint Programming-Based Job Dispatching for Modern HPC Applications. | Cristian Galleguillos, Zeynep Kiziltan, Alina Srbu, zalp Babaoglu |
| 2019 | Models for Radiation Therapy Patient Scheduling. | Sara Frimodig, Christian Schulte |
| 2019 | Differential Privacy of Hierarchical Census Data: An Optimization Approach. | Ferdinando Fioretto, Pascal Van Hentenryck |
| 2019 | An Improved GPU-Based SAT Model Counter. | Johannes Klaus Fichte, Markus Hecher, Markus Zisser |
| 2019 | Functional Synthesis with Examples. | Grigory Fedyukovich, Aarti Gupta |
| 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 | Industrial Size Job Shop Scheduling Tackled by Present Day CP Solvers. | Giacomo Da Col, Erich Christian Teppan |
| 2019 | Dual Hashing-Based Algorithms for Discrete Integration. | Alexis de Colnet, Kuldeep S. Meel |
| 2019 | Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. | Md. Solimul Chowdhury, Martin Mller, Jia-Huai You |
| 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 | Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience. | Mohamed Sami Cherif, Djamal Habet |
| 2019 | A Cube Distribution Approach to QBF Solving and Certificate Minimization. | Li-Cheng Chen, Jie-Hong R. Jiang |
| 2019 | On Symbolic Approaches for Computing the Matrix Permanent. | Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi |
| 2019 | Vehicle Routing by Learning from Historical Solutions. | Rocsildes Canoy, Tias Guns |
| 2019 | Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. | Gustav Bjrdal, Pierre Flener, Justin Pearson, Peter J. Stuckey |
| 2019 | Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions. | Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet |
| 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 | Modeling Pattern Set Mining Using Boolean Circuits. | John O. R. Aoga, Siegfried Nijssen, Pierre Schaus |
| 2019 | Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. | Carlos Anstegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Josep Suy, Mateu Villaret |
| 2019 | Towards Robust Scenarios of Spatio-Temporal Renewable Energy Planning: A GIS-RO Approach. | Nadeem Al-Kurdi, Benjamin Pillot, Carmen Gervet, Laurent Linguet |
| 2019 | Functional Significance Checking in Noisy Gene Regulatory Networks. | S. Akshay, Sukanya Basu, Supratik Chakraborty, Rangapriya Sundararajan, Prasanna Venkatraman |