S. Akshay, Sukanya Basu, Supratik Chakraborty, Rangapriya Sundararajan and Prasanna Venkatraman. Functional significance checking in noisy gene regulatory networks
Meinolf Sellmann, Kevin Tierney and Stefan Kuhlemann. Exploiting Counterfactuals for Scalable Stochastic Optimization
Patrick Spracklen, Nguyen Dang, Özgür Akgün and Ian Miguel. Automatic Streamlining for Constrained Optimisation
Cristian Galleguillos, Zeynep Kiziltan, Alina Sirbu and Ozalp Babaoglu. Constraint Programming-based Job Dispatching for Modern HPC Applications
Alex Mattenet, Ian Davidson, Siegfried Nijssen and Pierre Schaus. Generic Constraint-based Block Modeling using Constraint Programming
Mohd Hafiz Hasan and Pascal Van Hentenryck. The Flexible and Real-Time Commute Trip Sharing Problems
Md Solimul Chowdhury, Martin Mueller and Jia-Huai You. Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics
John Hooker. Improved Job Sequencing Bounds from Decision Diagrams
Nadeem Alkurdi, Benjamin Pillot, Carmen Gervet and Laurent Linguet. Towards robust scenarios of spatio-temporal renewable energy planning: A GIS-RO approach
Emir Demirović and Peter J. Stuckey. Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search
Buser Say, Scott Sanner and Sylvie Thiébaux. Reward Potentials for Planning with Learned Neural Network Transition Models
Ciaran McCreesh, William Pettersson and Patrick Prosser. Understanding the Empirical Hardness of Random Optimisation Problems
Nicolas Isoart and Jean-Charles Regin. Integration of structural constraints into TSP models
Stanislav Murín and Hana Rudová. Scheduling of Mobile Robots using Constraint Programming
Dimosthenis C. Tsouros, Kostas Stergiou and Christian Bessiere. Structure-driven Multiple Constraint Acquisition
Mohamed Sami Cherif and Djamal Habet. Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience
Rocsildes Canoy and Tias Guns. Vehicle routing by learning from historical solutions
Gustav Björdal, Pierre Flener, Justin Pearson and Peter J. Stuckey. Exploring Declarative Local-Search Neighbourhoods with Constraint Programming
Giovanni Lo Bianco, Xavier Lorca and Charlotte Truchet. Estimating the Number of Solutions of Cardinality Constraints through range and roots Decomposition
Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luís Esteban, Ian Miguel, Peter Nightingale, András Salamon, Josep Suy and Mateu Villaret. Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints
Alexis de Colnet and Kuldeep S. Meel. Dual Hashing-based Algorithms for Discrete Integration
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins and Vasco Manquinho. Encodings for Enumeration-Based Program Synthesis
Andreia P. Guerreiro, Miguel Terra-Neves, Ines Lynce, José Rui Figueira and Vasco Manquinho. Constraint-based Techniques in Stochastic Local Search MaxSAT Solving
Weikun Yang, Grigory Fedyukovich and Aarti Gupta. Lemma Synthesis for Automating Induction over Algebraic Data Types
Artem Kaznatcheev, David A. Cohen and Peter G. Jeavons. Representing fitness landscapes by valued constraints to understand the complexity of local search
John Aoga, Siegfried Nijssen and Pierre Schaus. Modeling Pattern Set Mining using Logical Circuits
Li-Cheng Chen and Jie-Hong Roland Jiang. A Cube Distribution Approach to QBF Solving and Certificate Minimization
David Mitchell. Guarded Constraint Models Define Treewidth Preserving Reductions
Hélène Verhaeghe, Siegfried Nijssen, Gilles Pesant, Claude-Guy Quimper and Pierre Schaus. Learning Optimal Decision Trees using Constraint Programming
Giacomo Da Col and Erich Teppan. Industrial Size Job-Shop Scheduling tackled by Present-Day CP Solvers
Danuta Sorina Chisca, Michele Lombardi, Michela Milano and Barry O'Sullivan. Logic-Based Benders Decomposition for Super Solutions: an Application to the Kidney Exchange Problem