Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Front Matter ....Pages I-XXVII
Front Matter ....Pages 1-1
 Automatic Discovery and Exploitation of Promising Subproblems for Tabulation  (Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon)....Pages 3-12
 Propagating Regular Membership with Dashed Strings  (Roberto Amadini, Graeme Gange, Peter J. Stuckey)....Pages 13-29
 A Constraint-Based Encoding for Domain-Independent Temporal Planning  (Arthur Bit-Monnot)....Pages 30-46
 Decremental Consistency Checking of Temporal Constraints: Algorithms for the Point Algebra and the ORD-Horn Class  (Massimo Bono, Alfonso Emilio Gerevini)....Pages 47-63
 Domain Reduction for Valued Constraints by Generalising Methods from CSP  (Martin C. Cooper, Wafa Jguirim, David A. Cohen)....Pages 64-80
 Solver-Independent Large Neighbourhood Search  (Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack)....Pages 81-98
 Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers  (Emir Demirović, Geoffrey Chu, Peter J. Stuckey)....Pages 99-108
 An SMT Approach to Fractional Hypertree Width  (Johannes K. Fichte, Markus Hecher, Neha Lodha, Stefan Szeider)....Pages 109-127
 On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers  (Rohan Fossé, Laurent Simon)....Pages 128-143
 Sequential Precede Chain for Value Symmetry Elimination  (Graeme Gange, Peter J. Stuckey)....Pages 144-159
 An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks  (Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis)....Pages 160-178
 Clause Learning and New Bounds for Graph Coloring  (Emmanuel Hebrard, George Katsirelos)....Pages 179-194
 Portfolio-Based Algorithm Selection for Circuit QBFs  (Holger H. Hoos, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider)....Pages 195-209
 Making Compact-Table Compact  (Linnea Ingmar, Christian Schulte)....Pages 210-218
 Approximation Strategies for Incomplete MaxSAT  (Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao)....Pages 219-228
 A Novel Graph-Based Heuristic Approach for Solving Sport Scheduling Problem  (Meriem Khelifa, Dalila Boughaci, Esma Aïmeur)....Pages 229-241
 Augmenting Stream Constraint Programming with Eventuality Conditions  (Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong)....Pages 242-258
 A Complete Tolerant Algebraic Side-Channel Attack for AES with CP  (Fanghui Liu, Waldemar Cruz, Laurent Michel)....Pages 259-275
 Evaluating QBF Solvers: Quantifier Alternations Matter  (Florian Lonsing, Uwe Egly)....Pages 276-294
 Quantified Valued Constraint Satisfaction Problem  (Florent Madelaine, Stéphane Secouard)....Pages 295-311
 MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules  (Dmitry Maliotov, Kuldeep S. Meel)....Pages 312-327
 Objective as a Feature for Robust Search Strategies  (Anthony Palmieri, Guillaume Perez)....Pages 328-344
 PW-CT: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints  (Anthony Schneider, Berthe Y. Choueiry)....Pages 345-361
 Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice  (Patrick Spracklen, Özgür Akgün, Ian Miguel)....Pages 362-372
 Efficient Methods for Constraint Acquisition  (Dimosthenis C. Tsouros, Kostas Stergiou, Panagiotis G. Sarigiannidis)....Pages 373-388
 A Circuit Constraint for Multiple Tours Problems  (Philippe Vismara, Nicolas Briot)....Pages 389-402
 Towards Semi-Automatic Learning-Based Model Transformation  (Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda)....Pages 403-419
 Finding Solutions by Finding Inconsistencies  (Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné)....Pages 420-435
 The Effect of Structural Measures and Merges on SAT Solver Performance  (Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh)....Pages 436-452
 Learning-Sensitive Backdoors with Restarts  (Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki et al.)....Pages 453-469
Front Matter ....Pages 471-471
 Process Plant Layout Optimization: Equipment Allocation  (Gleb Belov, Tobias Czauderna, Maria Garcia de la Banda, Matthias Klapperstueck, Ilankaikone Senthooran, Mitch Smith et al.)....Pages 473-489
 A Constraint Programming Approach for Solving Patient Transportation Problems  (Quentin Cappart, Charles Thomas, Pierre Schaus, Louis-Martin Rousseau)....Pages 490-506
 Unifying Reserve Design Strategies with Graph Theory and Constraint Programming  (Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca)....Pages 507-523
 Self-configuring Cost-Sensitive Hierarchical Clustering with Recourse  (Carlos Ansotegui, Meinolf Sellmann, Kevin Tierney)....Pages 524-534
Front Matter ....Pages 535-535
 User’s Constraints in Itemset Mining  (Christian Bessiere, Nadjib Lazaar, Mehdi Maamar)....Pages 537-553
 On Maximal Frequent Itemsets Mining with Constraints  (Said Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais)....Pages 554-569
 A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining  (Imen Ouled Dlala, Said Jabbour, Badran Raddaoui, Lakhdar Sais)....Pages 570-587
 Towards Effective Deep Learning for Constraint Satisfaction Problems  (Hong Xu, Sven Koenig, T. K. Satish Kumar)....Pages 588-597
Front Matter ....Pages 599-599
 Extending the Capacity of 1 / f Noise Generation  (Guillaume Perez, Brendan Rappazzo, Carla Gomes)....Pages 601-610
Front Matter ....Pages 611-611
 Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure  (Waldemar Cruz, Fanghui Liu, Laurent Michel)....Pages 613-628
 Improving Energetic Propagations for Cumulative Scheduling  (Alexander Tesch)....Pages 629-645
Front Matter ....Pages 647-647
 A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing  (Shan He, Mark Wallace, Graeme Gange, Ariel Liebman, Campbell Wilson)....Pages 649-666
Front Matter ....Pages 667-667
 Balancing Asymmetry in Max-sum Using Split Constraint Factor Graphs  (Liel Cohen, Roie Zivan)....Pages 669-687
 A Large Neighboring Search Schema for Multi-agent Optimization  (Khoi D. Hoang, Ferdinando Fioretto, William Yeoh, Enrico Pontelli, Roie Zivan)....Pages 688-706
 Distributed Constrained Search by Selfish Agents for Efficient Equilibria  (Vadim Levit, Amnon Meisels)....Pages 707-724
Front Matter ....Pages 725-725
 Metamorphic Testing of Constraint Solvers  (Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale)....Pages 727-736
 Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers  (Saeed Nejati, Jan Horáček, Catherine Gebotys, Vijay Ganesh)....Pages 737-754
 Correction to: PW-CT: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints  (Anthony Schneider, Berthe Y. Choueiry)....Pages E1-E1
Back Matter ....Pages 755-764