| Authors | Title | Paper | Talk |
|---|
| Andrea Balogh and Barry O'Sullivan | Symmetry breaking and Knowledge Compilation |  | Aug 01 15:00 |
| Nicolas Beldiceanu, Jovial Cheukam Ngouonou, Rémi Douence, Ramiz Gindullin and Claude-Guy Quimper | Extended Abstract: Acquiring Maps of Interrelated Conjectures on Sharp Bounds | | Aug 01 17:26 |
| Auguste Burlats and Gilles Pesant | Exploiting Model Entropy to Make Branching Decisions in Constraint Programming | | Aug 01 14:20 |
| Vianney Coppé, Xavier Gillard and Pierre Schaus | Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams (Extended Abstract) | | Aug 01 12:21 |
| Christopher Coulombe and Claude-Guy Quimper | Extended Abstract: Constraint Acquisition Based on Solution Counting | | Aug 01 17:23 |
| Marco Dalla, Andrea Visentin and Barry O'Sullivan | Automated SAT Problem Feature Extraction using 1 Convolutional Autoencoders | | Aug 01 11:55 |
| Augustin Delecluse, Pierre Schaus and Pascal Van Hentenryck | Extended Abstract: Sequence Variables for Routing Problems | | Aug 01 10:23 |
| Sharmi Dev Gupta, Begum Genc and Barry O'Sullivan | Finding Counterfactual Explanations through Constraint Relaxations | | Aug 01 14:40 |
| Alexander Ek, Andreas Schutt, Peter J. Stuckey and Guido Tack | Explaining Propagation for Gini and Spread with Variable Mean (Extended Abstract) | | Aug 01 17:20 |
| Thibault Falque, Christophe Lecoutre, Bertrand Mazure and Hugues Wattez | Aggressive Bound Descent for Constraint Optimization | | Aug 01 14:00 |
| Thibault Falque and Romain Wallon | On PB Encodings for Constraint Problems | | Aug 01 16:40 |
| Ramiz Gindullin, Nicolas Beldiceanu and Jovial Cheukam Ngouonou | A Boolean Formula Seeker in the Context of Acquiring Maps of Interrelated Conjectures on Sharp Bounds | | Aug 01 17:00 |
| Priyanka Golia, Subhajit Roy and Kuldeep S. Meel | Boolean Functional Synthesis and its Applications | | Aug 01 16:20 |
| Daphné Lafleur, Sarath Chandar and Gilles Pesant | Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints - Extended Abstract | | Aug 01 10:26 |
| Jimmy H. M. Lee and Allen Z. Zhong | Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization (Extended Abstract) | | Aug 01 15:23 |
| Jheisson López, Laura Climent and Alejandro Arbelaez | Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains | | Aug 01 15:26 |
| Xiao Peng, Olivier Simonin and Christine Solnon | Solving the Non-Crossing MAPF for non point-sized robots | | Aug 01 10:00 |
| Louis Popovic, Alain Côté, Mohamed Gaha, Franklin Nguewouo and Quentin Cappart | Extended Abstract for : Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming | | Aug 01 10:20 |
| Siddharth Prasad, Maria-Florina Balcan, Tuomas Sandholm and Ellen Vitercik | Improved Sample Complexity Bounds for Branch-and-Cut | | Aug 01 15:20 |
| Isaac Rudich, Quentin Cappart and Louis-Martin Rousseau | Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams | | Aug 01 12:18 |
| Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna and Panagiotis Papadimitratos | Optimized Code Generation against Power Side Channels | | Aug 01 16:00 |
| Felix Ulrich-Oltean, Peter Nightingale and James Walker | Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints | | Aug 01 12:15 |
| Ruiwei Wang and Roland Yap | CNF Encodings of Binary Constraint Trees (Extended Abstract) | | Aug 01 12:24 |
