| 2017 | A Column-Generation Algorithm for Evacuation Planning with Elementary Paths. Mohd. Hafiz Hasan, Pascal Van Hentenryck |
| 2017 | A Constraint Composite Graph-Based ILP Encoding of the Boolean Weighted CSP. Hong Xu, Sven Koenig, T. K. Satish Kumar |
| 2017 | A Declarative Approach to Constrained Community Detection. Mohadeseh Ganji, James Bailey, Peter J. Stuckey |
| 2017 | A Novel Approach to String Constraint Solving. Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack |
| 2017 | A Tolerant Algebraic Side-Channel Attack on AES Using CP. Fanghui Liu, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel |
| 2017 | All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems. Lucy Ham, Marcel Jackson |
| 2017 | An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret |
| 2017 | An Incomplete Constraint-Based System for Scheduling with Renewable Resources. Cédric Pralet |
| 2017 | An Optimization Model for 3D Pipe Routing with Flexibility Constraints. Gleb Belov, Tobias Czauderna, Amel Dzaferovic, Maria Garcia de la Banda, Michael Wybrow, Mark Wallace |
| 2017 | Analyzing Lattice Point Feasibility in UTVPI Constraints. K. Subramani, Piotr Wojciechowski |
| 2017 | Arc Consistency via Linear Programming. Grigori German, Olivier Briant, Hadrien Cambazard, Vincent Jost |
| 2017 | Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows. Edward Lam, Pascal Van Hentenryck |
| 2017 | Clique Cuts in Weighted Constraint Satisfaction. Simon de Givry, George Katsirelos |
| 2017 | Combining Nogoods in Restart-Based Search. Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure |
| 2017 | Combining Stochastic Constraint Optimization and Probabilistic Programming - From Knowledge Compilation to Constraint Solving. Anna L. D. Latour, Behrouz Babaki, Anton Dries, Angelika Kimmig, Guy Van den Broeck, Siegfried Nijssen |
| 2017 | Conjunctions of Among Constraints. Víctor Dalmau |
| 2017 | Constraint Handling in Flight Planning. Anders Nicolai Knudsen, Marco Chiarandini, Kim S. Larsen |
| 2017 | Constraint Programming Applied to the Multi-Skill Project Scheduling Problem. Kenneth D. Young, Thibaut Feydy, Andreas Schutt |
| 2017 | Constraint Programming for Multi-criteria Conceptual Clustering. Maxime Chabert, Christine Solnon |
| 2017 | Constraint-Based Fleet Design Optimisation for Multi-compartment Split-Delivery Rich Vehicle Routing. Tommaso Urli, Philip Kilby |
| 2017 | Constraint-Based Synthesis of Datalog Programs. Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith |
| 2017 | CoverSize: A Global Constraint for Frequency-Based Itemset Mining. Pierre Schaus, John O. R. Aoga, Tias Guns |
| 2017 | Defining and Evaluating Heuristics for the Compilation of Constraint Networks. Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou |
| 2017 | Extending Compact-Table to Basic Smart Tables. Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus |
| 2017 | Generating Linear Invariants for a Conjunction of Automata Constraints. Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |
| 2017 | Integer and Constraint Programming for Batch Annealing Process Planning. Willem-Jan van Hoeve, Sridhar R. Tayur |
| 2017 | Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang |
| 2017 | Job Sequencing Bounds from Decision Diagrams. John N. Hooker |
| 2017 | Kernelization of Constraint Satisfaction Problems: A Study Through Universal Algebra. Victor Lagerkvist, Magnus Wahlström |
| 2017 | Learning the Parameters of Global Constraints Using Branch-and-Bound. Émilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper, Jason Sweeney |
| 2017 | MDDs: Sampling and Probability Constraints. Guillaume Perez, Jean-Charles Régin |
| 2017 | Minimum-Width Confidence Bands via Constraint Optimization. Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki |
| 2017 | NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro |
| 2017 | On Maximum Weight Clique Algorithms, and How They Are Evaluated. Ciaran McCreesh, Patrick Prosser, Kyle A. Simpson, James Trimble |
| 2017 | Optimal Torpedo Scheduling. Adrian Goldwaser, Andreas Schutt |
| 2017 | Optimizing SAT Encodings for Arithmetic Constraints. Neng-Fa Zhou, Håkan Kjellerstrand |
| 2017 | Preference Elicitation for DCOPs. Atena M. Tabakhi, Tiep Le, Ferdinando Fioretto, William Yeoh |
| 2017 | Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings J. Christopher Beck |
| 2017 | Reduced Cost Fixing in MaxSAT. Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko |
| 2017 | Rotation-Based Formulation for Stable Matching. Mohamed Siala, Barry O'Sullivan |
| 2017 | Search Strategies for Floating Point Constraint Systems. Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel |
| 2017 | Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size. Erez Bilgory, Eyal Bin, Avi Ziv |
| 2017 | Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre |
| 2017 | Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson |
| 2017 | Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. Jeremias Berg, Matti Järvisalo |
| 2017 | among Implied Constraints for Two Families of Time-Series Constraints. Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |