CP 2023 August 27-31, 2023, Toronto, Canada

29th International Conference on Principles and Practice of Constraint Programming (CP 2023)



Roland H. C. Yap (Ed.)
ISBN 978-3-95977-300-3, LIPICS Vol. 280 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 36 MB)
Search Publication Server


Authors
  • Aalian, Younes
  • Akhlaghi, Vahid Eghbal
  • Alòs, Josep
  • Alswaitti, Mohammed
  • Alvarez, Nahum
  • Ansótegui, Carlos
  • Araújo, João
  • Artigues, Christian
  • Audemard, Gilles
  • Bailey, James
  • Barbosa Vaz, Vincent
  • Beauchamp, Aymeric
  • Beck, J. Christopher
  • Benhamou, Belaid
  • Berden, Senne
  • Berg, Jeremias
  • Berthold, Timo
  • Betmbe, Sévérine Fetgo
  • Bianco, Giovanni Lo
  • Bleukx, Ignace
  • Bogaerts, Bart
  • Boonbandansook, Wirattawut
  • Booth, Kyle E. C.
  • Bouvry, Pascal
  • Cai, Shaowei
  • Cappart, Quentin
  • Chan, Anouck
  • Chow, Choiwah
  • Chu, Yi
  • Cohen, Eldan
  • Combarro Simón, Manuel
  • Coppé, Vianney
  • Dalmeijer, Kevin
  • Danoy, Grégoire
  • Dao, Thi-Bich-Hanh
  • de Nijs, Frits
  • Devriendt, Jo
  • Deza, Arnaud
  • Didier, Frédéric
  • Djamegni, Clémentin Tayou
  • Dubray, Alexandre
  • El Ghazi, Yousra
  • François, Tristan
  • Gamache, Michel
  • Gamba, Emilio
  • Garcia de la Banda, Maria
  • Gautier, Louis
  • Gay, Steven
  • Gillard, Xavier
  • Gleixner, Ambros
  • Glorian, Gaël
  • Golenvaux, Nicolas
  • Golestanian, Arnoosh
  • Gomes, Carla P.
  • Greenstreet, Laura
  • Grimson, Marc
  • Guns, Tias
  • Habet, Djamal
  • Hebrard, Emmanuel
  • Houssin, Laurent
  • Hu, Tingting
  • Ignatiev, Alexey
  • Ihalainen, Hannes
  • Jabs, Christoph
  • Janota, Mikoláš
  • Järvisalo, Matti
  • J. Stuckey, Peter
  • Juvin, Carla
  • Kameugne, Roger
  • Khalil, Elias B.
  • Klapperstueck, Matthias
  • Kučera, Petr
  • Kumar, T. K. Satish
  • Kuroiwa, Ryo
  • Lallouet, Arnaud
  • Leckie, Christopher
  • Lecoutre, Christophe
  • Lee, Chungjae
  • Lee, Jimmy H.M.
  • Lee-Kopij, Jack
  • Lei, Zhendong
  • Li, Ang
  • Liu, Chang
  • Lopez, Pierre
  • Loudni, Samir
  • Luo, Chuan
  • Malalel, Steve
  • Malapert, Arnaud
  • Marty, Tom
  • McCreesh, Ciaran
  • McIlraith, Sheila
  • McIlree, Matthew J.
  • Mexi, Gioni
  • Mirka, Renee
  • Möhle, Sibylle
  • Musial, Jedrzej
  • Navet, Nicolas
  • Nijssen, Siegfried
  • Nordström, Jakob
  • Noulamo, Thierry
  • Pelleau, Marie
  • Peng, Cong
  • Peng, Xiao
  • Perez, Guillaume
  • Perron, Laurent
  • Peruvemba Ramaswamy, Vaidyanathan
  • Pesant, Gilles
  • Plank, Andreas
  • Ploskas, Nikolaos
  • Polacsek, Thomas
  • Povéda, Guillaume
  • Prud'homme, Charles
  • Régin, Jean-Charles
  • Rousseau, Louis-Martin
  • Roussel, Stéphanie
  • Salvia, Josep M.
  • Schaus, Pierre
  • Schiex, Thomas
  • Seidl, Martina
  • Senthooran, Ilankaikone
  • Shati, Pouya
  • Soliman, Sylvain
  • Solnon, Christine
  • Stergiou, Kostas
  • Stuckey, Peter J.
  • Suijlen, Wijnand
  • Szeider, Stefan
  • Tack, Guido
  • Talbot, Pierre
  • Tao, Chengyu
  • Terrioux, Cyril
  • Tessier, Pierre
  • Torres, Eduard
  • Trinh, Van-Giang
  • Tsouros, Dimosthenis C.
  • Vaezipoor, Pashootan
  • Van Hentenryck, Pascal
  • Vilím, Petr
  • Vrain, Christel
  • Wang, Shimao
  • Wang, Xinyu
  • Wang, Yiyuan
  • Wijesundara, Sameela Suharshani
  • Wybrow, Michael
  • Yap, Roland H. C.
  • Yin, Minghao
  • Yu, Jinqiang
  • Zhang, Han
  • Zhang, Tianwei
  • Zhao, Yujiao
  • Zheng, Kexin
  • Zhou, Wenbo

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Yap, Roland H. C.

    Abstract | Document (670 KB) | BibTeX

    Beyond Optimal Solutions for Real-World Problems (Invited Talk)
    Authors: Garcia de la Banda, Maria

    Abstract | Document (413 KB) | BibTeX

    A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk)
    Authors: Lee, Jimmy H.M.

    Abstract | Document (255 KB) | BibTeX

    The CP-SAT-LP Solver (Invited Talk)
    Authors: Perron, Laurent ; Didier, Frédéric ; Gay, Steven

    Abstract | Document (323 KB) | BibTeX

    Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk)
    Authors: Schiex, Thomas

    Abstract | Document (448 KB) | BibTeX

    CP Solver Design for Maximum CPU Utilization (Invited Talk)
    Authors: Vilím, Petr

    Abstract | Document (343 KB) | BibTeX

    Optimization of Short-Term Underground Mine Planning Using Constraint Programming
    Authors: Aalian, Younes ; Pesant, Gilles ; Gamache, Michel

    Abstract | Document (3,201 KB) | BibTeX

    Exploiting Configurations of MaxSAT Solvers
    Authors: Alòs, Josep ; Ansótegui, Carlos ; Salvia, Josep M. ; Torres, Eduard

    Abstract | Document (864 KB) | BibTeX

    Symmetries for Cube-And-Conquer in Finite Model Finding
    Authors: Araújo, João ; Chow, Choiwah ; Janota, Mikoláš

    Abstract | Document (786 KB) | BibTeX

    Guiding Backtrack Search by Tracking Variables During Constraint Propagation
    Authors: Audemard, Gilles ; Lecoutre, Christophe ; Prud'homme, Charles

    Abstract | Document (1,104 KB) | BibTeX

    Incremental Constrained Clustering by Minimal Weighted Modification
    Authors: Beauchamp, Aymeric ; Dao, Thi-Bich-Hanh ; Loudni, Samir ; Vrain, Christel

    Abstract | Document (5,004 KB) | BibTeX

    Simplifying Step-Wise Explanation Sequences
    Authors: Bleukx, Ignace ; Devriendt, Jo ; Gamba, Emilio ; Bogaerts, Bart ; Guns, Tias

    Abstract | Document (1,030 KB) | BibTeX

    Towards More Efficient Local Search for Pseudo-Boolean Optimization
    Authors: Chu, Yi ; Cai, Shaowei ; Luo, Chuan ; Lei, Zhendong ; Peng, Cong

    Abstract | Document (916 KB) | BibTeX

    Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic Programming
    Authors: Coppé, Vianney ; Gillard, Xavier ; Schaus, Pierre

    Abstract | Document (896 KB) | BibTeX

    Fast Matrix Multiplication Without Tears: A Constraint Programming Approach
    Authors: Deza, Arnaud ; Liu, Chang ; Vaezipoor, Pashootan ; Khalil, Elias B.

    Abstract | Document (713 KB) | BibTeX

    Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses
    Authors: Dubray, Alexandre ; Schaus, Pierre ; Nijssen, Siegfried

    Abstract | Document (967 KB) | BibTeX

    A CP Approach for the Liner Shipping Network Design Problem
    Authors: El Ghazi, Yousra ; Habet, Djamal ; Terrioux, Cyril

    Abstract | Document (1,218 KB) | BibTeX

    Optimization Models for Pickup-And-Delivery Problems with Reconfigurable Capacities
    Authors: Golestanian, Arnoosh ; Bianco, Giovanni Lo ; Tao, Chengyu ; Beck, J. Christopher

    Abstract | Document (937 KB) | BibTeX

    Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization
    Authors: Jabs, Christoph ; Berg, Jeremias ; Ihalainen, Hannes ; Järvisalo, Matti

    Abstract | Document (1,513 KB) | BibTeX

    An Efficient Constraint Programming Approach to Preemptive Job Shop Scheduling
    Authors: Juvin, Carla ; Hebrard, Emmanuel ; Houssin, Laurent ; Lopez, Pierre

    Abstract | Document (829 KB) | BibTeX

    Horizontally Elastic Edge Finder Rule for Cumulative Constraint Based on Slack and Density
    Authors: Kameugne, Roger ; Betmbe, Sévérine Fetgo ; Noulamo, Thierry ; Djamegni, Clémentin Tayou

    Abstract | Document (1,309 KB) | BibTeX

    Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert Views
    Authors: Klapperstueck, Matthias ; de Nijs, Frits ; Senthooran, Ilankaikone ; Lee-Kopij, Jack ; Garcia de la Banda, Maria ; Wybrow, Michael

    Abstract | Document (3,126 KB) | BibTeX

    Binary Constraint Trees and Structured Decomposability
    Authors: Kučera, Petr

    Abstract | Document (824 KB) | BibTeX

    Large Neighborhood Beam Search for Domain-Independent Dynamic Programming
    Authors: Kuroiwa, Ryo ; Beck, J. Christopher

    Abstract | Document (1,540 KB) | BibTeX

    MDD Archive for Boosting the Pareto Constraint
    Authors: Malalel, Steve ; Malapert, Arnaud ; Pelleau, Marie ; Régin, Jean-Charles

    Abstract | Document (774 KB) | BibTeX

    Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver
    Authors: Marty, Tom ; François, Tristan ; Tessier, Pierre ; Gautier, Louis ; Rousseau, Louis-Martin ; Cappart, Quentin

    Abstract | Document (1,783 KB) | BibTeX

    Proof Logging for Smart Extensional Constraints
    Authors: McIlree, Matthew J. ; McCreesh, Ciaran

    Abstract | Document (758 KB) | BibTeX

    Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
    Authors: Mexi, Gioni ; Berthold, Timo ; Gleixner, Ambros ; Nordström, Jakob

    Abstract | Document (821 KB) | BibTeX

    Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming
    Authors: Peng, Xiao ; Solnon, Christine

    Abstract | Document (785 KB) | BibTeX

    Distribution Optimization in Constraint Programming
    Authors: Perez, Guillaume ; Glorian, Gaël ; Suijlen, Wijnand ; Lallouet, Arnaud

    Abstract | Document (875 KB) | BibTeX

    The p-Dispersion Problem with Distance Constraints
    Authors: Ploskas, Nikolaos ; Stergiou, Kostas ; Tsouros, Dimosthenis C.

    Abstract | Document (720 KB) | BibTeX

    Partially Preemptive Multi Skill/Mode Resource-Constrained Project Scheduling with Generalized Precedence Relations and Calendars
    Authors: Povéda, Guillaume ; Alvarez, Nahum ; Artigues, Christian

    Abstract | Document (1,447 KB) | BibTeX

    Assembly Line Preliminary Design Optimization for an Aircraft
    Authors: Roussel, Stéphanie ; Polacsek, Thomas ; Chan, Anouck

    Abstract | Document (1,761 KB) | BibTeX

    SAT-Based Learning of Compact Binary Decision Diagrams for Classification
    Authors: Shati, Pouya ; Cohen, Eldan ; McIlraith, Sheila

    Abstract | Document (1,584 KB) | BibTeX

    Constraint Programming with External Worst-Case Traversal Time Analysis
    Authors: Talbot, Pierre ; Hu, Tingting ; Navet, Nicolas

    Abstract | Document (2,809 KB) | BibTeX

    Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming
    Authors: Trinh, Van-Giang ; Benhamou, Belaid ; Soliman, Sylvain

    Abstract | Document (792 KB) | BibTeX

    Guided Bottom-Up Interactive Constraint Acquisition
    Authors: Tsouros, Dimosthenis C. ; Berden, Senne ; Guns, Tias

    Abstract | Document (918 KB) | BibTeX

    Addressing Problem Drift in UNHCR Fund Allocation
    Authors: Wijesundara, Sameela Suharshani ; Garcia de la Banda, Maria ; Tack, Guido

    Abstract | Document (3,273 KB) | BibTeX

    From Formal Boosted Tree Explanations to Interpretable Rule Sets
    Authors: Yu, Jinqiang ; Ignatiev, Alexey ; Stuckey, Peter J.

    Abstract | Document (3,650 KB) | BibTeX

    Searching for Smallest Universal Graphs and Tournaments with SAT
    Authors: Zhang, Tianwei ; Szeider, Stefan

    Abstract | Document (899 KB) | BibTeX

    FastMapSVM for Predicting CSP Satisfiability
    Authors: Zheng, Kexin ; Li, Ang ; Zhang, Han ; Kumar, T. K. Satish

    Abstract | Document (1,736 KB) | BibTeX

    Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization
    Authors: Zhou, Wenbo ; Zhao, Yujiao ; Wang, Yiyuan ; Cai, Shaowei ; Wang, Shimao ; Wang, Xinyu ; Yin, Minghao

    Abstract | Document (1,092 KB) | BibTeX

    Predict-Then-Optimise Strategies for Water Flow Control (Short Paper)
    Authors: Barbosa Vaz, Vincent ; Bailey, James ; Leckie, Christopher ; J. Stuckey, Peter

    Abstract | Document (729 KB) | BibTeX

    Constraint Programming Models for Depth-Optimal Qubit Assignment and SWAP-Based Routing (Short Paper)
    Authors: Booth, Kyle E. C.

    Abstract | Document (575 KB) | BibTeX

    Constraint Model for the Satellite Image Mosaic Selection Problem (Short Paper)
    Authors: Combarro Simón, Manuel ; Talbot, Pierre ; Danoy, Grégoire ; Musial, Jedrzej ; Alswaitti, Mohammed ; Bouvry, Pascal

    Abstract | Document (4,787 KB) | BibTeX

    Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams (Short Paper)
    Authors: Golenvaux, Nicolas ; Gillard, Xavier ; Nijssen, Siegfried ; Schaus, Pierre

    Abstract | Document (739 KB) | BibTeX

    Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (Short Paper)
    Authors: Lee, Chungjae ; Boonbandansook, Wirattawut ; Akhlaghi, Vahid Eghbal ; Dalmeijer, Kevin ; Van Hentenryck, Pascal

    Abstract | Document (1,141 KB) | BibTeX

    A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper)
    Authors: Mirka, Renee ; Greenstreet, Laura ; Grimson, Marc ; Gomes, Carla P.

    Abstract | Document (805 KB) | BibTeX

    Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper)
    Authors: Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan

    Abstract | Document (648 KB) | BibTeX

    Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper)
    Authors: Plank, Andreas ; Möhle, Sibylle ; Seidl, Martina

    Abstract | Document (758 KB) | BibTeX

      




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