CP 2022 July 31 to August 8, 2022, Haifa, Israel

28th International Conference on Principles and Practice of Constraint Programming (CP 2022)



Christine Solnon (Ed.)
ISBN 978-3-95977-240-2, LIPICS Vol. 235 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 21 MB)
Search Publication Server

Authors
  • Akgün, Özgür
  • Allouche, David
  • Arbelaez, Alejandro
  • Asimi, Kristina
  • Balcan, Maria-Florina
  • Barto, Libor
  • Basrur, Chaithanya
  • Beldiceanu, Nicolas
  • Beldjilali, Abdelkader
  • Berden, Senne
  • Bessiere, Christian
  • Boudreault, Raphaël
  • Butti, Silvia
  • Cappart, Quentin
  • Carbonnel, Clément
  • Chakraborty, Sourav
  • Chandar, Sarath
  • Chen, Dingding
  • Chen, Ziyu
  • Cherif, Mohamed Sami
  • Cheukam-Ngouonou, Jovial
  • Climent, Laura
  • Cooper, Martin C.
  • Coppé, Vianney
  • Côté, Alain
  • Coulombe, Christopher
  • Cseh, Ágnes
  • Curry, Timothy
  • Dang, Nguyen
  • de Givry, Simon
  • Delecluse, Augustin
  • De Pace, Gabriel
  • Douence, Rémi
  • Dreier, Jan
  • Ek, Alexander
  • Escamocher, Guillaume
  • Espasa, Joan
  • Fargier, Hélène
  • Fuller, Benjamin
  • Gaha, Mohamed
  • Gao, Junsong
  • Gentzel, Rebecca
  • Gillard, Xavier
  • Gindullin, Ramiz
  • Gocht, Stephan
  • Golia, Priyanka
  • Guns, Tias
  • Habet, Djamal
  • Hebrard, Emmanuel
  • Heule, Marijn J. H.
  • Hidouri, Amel
  • Hoffmann, Ruth
  • Jabbour, Said
  • Karahalios, Anthony
  • Katsirelos, George
  • Knuth, Donald E.
  • Kolb, Samuel
  • Kumar, Akshat
  • Kumar, Mohit
  • Kumar, T. K. Satish
  • Lafleur, Daphné
  • Lafond, Daniel
  • Lee, Jimmy H. M.
  • Lequen, Arnaud
  • Li, Hongbo
  • Liu, Xiangshuang
  • Li, Zhanshan
  • López, Jheisson
  • Maris, Frédéric
  • McCreesh, Ciaran
  • Meel, Kuldeep S.
  • Meiswinkel, Sebastian
  • Mengin, Jérôme
  • Michel, Laurent
  • Miguel, Ian
  • Montalbano, Pierre
  • Musliu, Nysret
  • Nacenta, Miguel A.
  • Nguewouo, Franklin
  • Nightingale, Peter
  • Nordström, Jakob
  • Ordyniak, Sebastian
  • Pesant, Gilles
  • Popovic, Louis
  • Prasad, Siddharth
  • Py, Matthieu
  • Quesada, Luis
  • Quimper, Claude-Guy
  • Raddaoui, Badran
  • Rousseau, Louis-Martin
  • Rudich, Isaac
  • Sandholm, Tuomas
  • Schaus, Pierre
  • Schmidt, Nicolas
  • Schutt, Andreas
  • Simard, Vanessa
  • Singh, Arambam James
  • Sinha, Arunesh
  • Solnon, Christine
  • Soos, Mate
  • Stuckey, Peter J.
  • Sun, Yan (Lindsay)
  • Szeider, Stefan
  • Tack, Guido
  • Trösser, Fulya
  • Ulrich-Oltean, Felix
  • Van Hentenryck, Pascal
  • van Hoeve, Willem-Jan
  • Villaret, Mateu
  • Vitercik, Ellen
  • Walker, James Alfred
  • Walkiewicz, Daniel
  • Wang, Jie
  • Wang, Ruiwei
  • Winter, Felix
  • Wu, Yaling
  • Yap, Roland H. C.
  • Yin, Minghao
  • Zhong, Allen Z.
  • Zhu, Xu
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Solnon, Christine

    Abstract | Document (580 KB) | BibTeX

    All Questions Answered (Invited Talk)
    Authors: Knuth, Donald E.

    Abstract | Document (268 KB) | BibTeX

    Fixed-Template Promise Model Checking Problems
    Authors: Asimi, Kristina ; Barto, Libor ; Butti, Silvia

    Abstract | Document (836 KB) | BibTeX

    Improved Sample Complexity Bounds for Branch-And-Cut
    Authors: Balcan, Maria-Florina ; Prasad, Siddharth ; Sandholm, Tuomas ; Vitercik, Ellen

    Abstract | Document (1,115 KB) | BibTeX

    Weisfeiler-Leman Invariant Promise Valued CSPs
    Authors: Barto, Libor ; Butti, Silvia

    Abstract | Document (865 KB) | BibTeX

    Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data
    Authors: Basrur, Chaithanya ; Singh, Arambam James ; Sinha, Arunesh ; Kumar, Akshat ; Kumar, T. K. Satish

    Abstract | Document (3,747 KB) | BibTeX

    Acquiring Maps of Interrelated Conjectures on Sharp Bounds
    Authors: Beldiceanu, Nicolas ; Cheukam-Ngouonou, Jovial ; Douence, Rémi ; Gindullin, Ramiz ; Quimper, Claude-Guy

    Abstract | Document (812 KB) | BibTeX

    Parallel Hybrid Best-First Search
    Authors: Beldjilali, Abdelkader ; Montalbano, Pierre ; Allouche, David ; Katsirelos, George ; de Givry, Simon

    Abstract | Document (774 KB) | BibTeX

    Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation
    Authors: Berden, Senne ; Kumar, Mohit ; Kolb, Samuel ; Guns, Tias

    Abstract | Document (962 KB) | BibTeX

    Complexity of Minimum-Size Arc-Inconsistency Explanations
    Authors: Bessiere, Christian ; Carbonnel, Clément ; Cooper, Martin C. ; Hebrard, Emmanuel

    Abstract | Document (792 KB) | BibTeX

    A Constraint Programming Approach to Ship Refit Project Scheduling
    Authors: Boudreault, Raphaël ; Simard, Vanessa ; Lafond, Daniel ; Quimper, Claude-Guy

    Abstract | Document (794 KB) | BibTeX

    On Redundancy in Constraint Satisfaction Problems
    Authors: Carbonnel, Clément

    Abstract | Document (738 KB) | BibTeX

    From Crossing-Free Resolution to Max-SAT Resolution
    Authors: Cherif, Mohamed Sami ; Habet, Djamal ; Py, Matthieu

    Abstract | Document (693 KB) | BibTeX

    Isomorphisms Between STRIPS Problems and Sub-Problems
    Authors: Cooper, Martin C. ; Lequen, Arnaud ; Maris, Frédéric

    Abstract | Document (842 KB) | BibTeX

    Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams
    Authors: Coppé, Vianney ; Gillard, Xavier ; Schaus, Pierre

    Abstract | Document (837 KB) | BibTeX

    Constraint Acquisition Based on Solution Counting
    Authors: Coulombe, Christopher ; Quimper, Claude-Guy

    Abstract | Document (1,033 KB) | BibTeX

    Computing Relaxations for the Three-Dimensional Stable Matching Problem with Cyclic Preferences
    Authors: Cseh, Ágnes ; Escamocher, Guillaume ; Quesada, Luis

    Abstract | Document (1,061 KB) | BibTeX

    DUELMIPs: Optimizing SDN Functionality and Security
    Authors: Curry, Timothy ; De Pace, Gabriel ; Fuller, Benjamin ; Michel, Laurent ; Sun, Yan (Lindsay)

    Abstract | Document (876 KB) | BibTeX

    A Framework for Generating Informative Benchmark Instances
    Authors: Dang, Nguyen ; Akgün, Özgür ; Espasa, Joan ; Miguel, Ian ; Nightingale, Peter

    Abstract | Document (1,094 KB) | BibTeX

    Sequence Variables for Routing Problems
    Authors: Delecluse, Augustin ; Schaus, Pierre ; Van Hentenryck, Pascal

    Abstract | Document (847 KB) | BibTeX

    CSP Beyond Tractable Constraint Languages
    Authors: Dreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan

    Abstract | Document (810 KB) | BibTeX

    Explaining Propagation for Gini and Spread with Variable Mean
    Authors: Ek, Alexander ; Schutt, Andreas ; Stuckey, Peter J. ; Tack, Guido

    Abstract | Document (918 KB) | BibTeX

    Plotting: A Planning Problem with Complex Transitions
    Authors: Espasa, Joan ; Miguel, Ian ; Villaret, Mateu

    Abstract | Document (959 KB) | BibTeX

    Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms
    Authors: Fargier, Hélène ; Mengin, Jérôme ; Schmidt, Nicolas

    Abstract | Document (813 KB) | BibTeX

    Heuristics for MDD Propagation in HADDOCK
    Authors: Gentzel, Rebecca ; Michel, Laurent ; van Hoeve, Willem-Jan

    Abstract | Document (934 KB) | BibTeX

    An Auditable Constraint Programming Solver
    Authors: Gocht, Stephan ; McCreesh, Ciaran ; Nordström, Jakob

    Abstract | Document (650 KB) | BibTeX

    From Cliques to Colorings and Back Again
    Authors: Heule, Marijn J. H. ; Karahalios, Anthony ; van Hoeve, Willem-Jan

    Abstract | Document (663 KB) | BibTeX

    On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach
    Authors: Hidouri, Amel ; Jabbour, Said ; Raddaoui, Badran

    Abstract | Document (1,826 KB) | BibTeX

    Understanding How People Approach Constraint Modelling and Solving
    Authors: Hoffmann, Ruth ; Zhu, Xu ; Akgün, Özgür ; Nacenta, Miguel A.

    Abstract | Document (2,601 KB) | BibTeX

    Learning Constraint Programming Models from Data Using Generate-And-Aggregate
    Authors: Kumar, Mohit ; Kolb, Samuel ; Guns, Tias

    Abstract | Document (691 KB) | BibTeX

    Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints
    Authors: Lafleur, Daphné ; Chandar, Sarath ; Pesant, Gilles

    Abstract | Document (2,548 KB) | BibTeX

    Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization
    Authors: Lee, Jimmy H. M. ; Zhong, Allen Z.

    Abstract | Document (809 KB) | BibTeX

    A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems
    Authors: Li, Hongbo ; Wu, Yaling ; Yin, Minghao ; Li, Zhanshan

    Abstract | Document (748 KB) | BibTeX

    Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains
    Authors: López, Jheisson ; Arbelaez, Alejandro ; Climent, Laura

    Abstract | Document (1,008 KB) | BibTeX

    Scheduling the Equipment Maintenance of an Electric Power Transmission Network Using Constraint Programming
    Authors: Popovic, Louis ; Côté, Alain ; Gaha, Mohamed ; Nguewouo, Franklin ; Cappart, Quentin

    Abstract | Document (1,676 KB) | BibTeX

    Peel-And-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams
    Authors: Rudich, Isaac ; Cappart, Quentin ; Rousseau, Louis-Martin

    Abstract | Document (1,324 KB) | BibTeX

    On Quantitative Testing of Samplers
    Authors: Soos, Mate ; Golia, Priyanka ; Chakraborty, Sourav ; Meel, Kuldeep S.

    Abstract | Document (837 KB) | BibTeX

    Structured Set Variable Domains in Bayesian Network Structure Learning
    Authors: Trösser, Fulya ; de Givry, Simon ; Katsirelos, George

    Abstract | Document (705 KB) | BibTeX

    Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
    Authors: Ulrich-Oltean, Felix ; Nightingale, Peter ; Walker, James Alfred

    Abstract | Document (783 KB) | BibTeX

    Completeness Matters: Towards Efficient Caching in Tree-Based Synchronous Backtracking Search for DCOPs
    Authors: Wang, Jie ; Chen, Dingding ; Chen, Ziyu ; Liu, Xiangshuang ; Gao, Junsong

    Abstract | Document (1,256 KB) | BibTeX

    CNF Encodings of Binary Constraint Trees
    Authors: Wang, Ruiwei ; Yap, Roland H. C.

    Abstract | Document (916 KB) | BibTeX

    Modeling and Solving Parallel Machine Scheduling with Contamination Constraints in the Agricultural Industry
    Authors: Winter, Felix ; Meiswinkel, Sebastian ; Musliu, Nysret ; Walkiewicz, Daniel

    Abstract | Document (859 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI