29th International Conference on Principles and Practice of Constraint Programming : CP 2023, August 27-31, 2023, Toronto, Canada (English)
Free access
- New search for: International Conference on Principles and Practice of Constraint Programming
- Further information on International Conference on Principles and Practice of Constraint Programming:
- http://d-nb.info/gnd/1310209251
- New search for: Yap, Roland H. C.
- New search for: International Conference on Principles and Practice of Constraint Programming
- Further information on International Conference on Principles and Practice of Constraint Programming:
- http://d-nb.info/gnd/1310209251
2023
-
ISBN:
- Conference Proceedings / Electronic Resource
-
Title:29th International Conference on Principles and Practice of Constraint Programming : CP 2023, August 27-31, 2023, Toronto, Canada
-
Additional title:CP 2023
29th International Conference on Principles and Practice of Constraint Programming (CP 2023) -
Contributors:Yap, Roland H. C. ( editor ) / International Conference on Principles and Practice of Constraint Programming ( author )
-
Conference:International Conference on Principles and Practice of Constraint Programming ; 29 ; 2023 ; Toronto
CP ; 29 ; 2023 ; Toronto -
Published in:
-
Publisher:
- New search for: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
-
Place of publication:Wadern
-
Publication date:2023
-
Size:1 Online-Ressource
-
Remarks:Literaturangaben
-
ISBN:
-
DOI:
-
Type of media:Conference Proceedings
-
Type of material:Electronic Resource
-
Language:English
- New search for: 54.50
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.50 Programmierung: Allgemeines -
Licence:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Beyond Optimal Solutions for Real-World Problems (Invited Talk)Garcia de la Banda, Maria et al. | 2023
- 2
-
A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk)Lee, Jimmy H.M. et al. | 2023
- 3
-
The CP-SAT-LP Solver (Invited Talk)Perron, Laurent / Didier, Frédéric / Gay, Steven et al. | 2023
- 4
-
Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk)Schiex, Thomas et al. | 2023
- 5
-
CP Solver Design for Maximum CPU Utilization (Invited Talk)Vilím, Petr et al. | 2023
- 6
-
Optimization of Short-Term Underground Mine Planning Using Constraint ProgrammingAalian, Younes / Pesant, Gilles / Gamache, Michel et al. | 2023
- 7
-
Exploiting Configurations of MaxSAT SolversAlòs, Josep / Ansótegui, Carlos / Salvia, Josep M. / Torres, Eduard et al. | 2023
- 8
-
Symmetries for Cube-And-Conquer in Finite Model FindingAraújo, João / Chow, Choiwah / Janota, Mikoláš et al. | 2023
- 9
-
Guiding Backtrack Search by Tracking Variables During Constraint PropagationAudemard, Gilles / Lecoutre, Christophe / Prud'homme, Charles et al. | 2023
- 10
-
Incremental Constrained Clustering by Minimal Weighted ModificationBeauchamp, Aymeric / Dao, Thi-Bich-Hanh / Loudni, Samir / Vrain, Christel et al. | 2023
- 11
-
Simplifying Step-Wise Explanation SequencesBleukx, Ignace / Devriendt, Jo / Gamba, Emilio / Bogaerts, Bart / Guns, Tias et al. | 2023
- 12
-
Towards More Efficient Local Search for Pseudo-Boolean OptimizationChu, Yi / Cai, Shaowei / Luo, Chuan / Lei, Zhendong / Peng, Cong et al. | 2023
- 13
-
Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic ProgrammingCoppé, Vianney / Gillard, Xavier / Schaus, Pierre et al. | 2023
- 14
-
Fast Matrix Multiplication Without Tears: A Constraint Programming ApproachDeza, Arnaud / Liu, Chang / Vaezipoor, Pashootan / Khalil, Elias B. et al. | 2023
- 15
-
Probabilistic Inference by Projected Weighted Model Counting on Horn ClausesDubray, Alexandre / Schaus, Pierre / Nijssen, Siegfried et al. | 2023
- 16
-
A CP Approach for the Liner Shipping Network Design ProblemEl Ghazi, Yousra / Habet, Djamal / Terrioux, Cyril et al. | 2023
- 17
-
Optimization Models for Pickup-And-Delivery Problems with Reconfigurable CapacitiesGolestanian, Arnoosh / Bianco, Giovanni Lo / Tao, Chengyu / Beck, J. Christopher et al. | 2023
- 18
-
Preprocessing in SAT-Based Multi-Objective Combinatorial OptimizationJabs, Christoph / Berg, Jeremias / Ihalainen, Hannes / Järvisalo, Matti et al. | 2023
- 19
-
An Efficient Constraint Programming Approach to Preemptive Job Shop SchedulingJuvin, Carla / Hebrard, Emmanuel / Houssin, Laurent / Lopez, Pierre et al. | 2023
- 20
-
Horizontally Elastic Edge Finder Rule for Cumulative Constraint Based on Slack and DensityKameugne, Roger / Betmbe, Sévérine Fetgo / Noulamo, Thierry / Djamegni, Clémentin Tayou et al. | 2023
- 21
-
Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert ViewsKlapperstueck, Matthias / de Nijs, Frits / Senthooran, Ilankaikone / Lee-Kopij, Jack / Garcia de la Banda, Maria / Wybrow, Michael et al. | 2023
- 22
-
Binary Constraint Trees and Structured DecomposabilityKučera, Petr et al. | 2023
- 23
-
Large Neighborhood Beam Search for Domain-Independent Dynamic ProgrammingKuroiwa, Ryo / Beck, J. Christopher et al. | 2023
- 24
-
MDD Archive for Boosting the Pareto ConstraintMalalel, Steve / Malapert, Arnaud / Pelleau, Marie / Régin, Jean-Charles et al. | 2023
- 25
-
Learning a Generic Value-Selection Heuristic Inside a Constraint Programming SolverMarty, Tom / François, Tristan / Tessier, Pierre / Gautier, Louis / Rousseau, Louis-Martin / Cappart, Quentin et al. | 2023
- 26
-
Proof Logging for Smart Extensional ConstraintsMcIlree, Matthew J. / McCreesh, Ciaran et al. | 2023
- 27
-
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean ReasoningMexi, Gioni / Berthold, Timo / Gleixner, Ambros / Nordström, Jakob et al. | 2023
- 28
-
Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint ProgrammingPeng, Xiao / Solnon, Christine et al. | 2023
- 29
-
Distribution Optimization in Constraint ProgrammingPerez, Guillaume / Glorian, Gaël / Suijlen, Wijnand / Lallouet, Arnaud et al. | 2023
- 30
-
The p-Dispersion Problem with Distance ConstraintsPloskas, Nikolaos / Stergiou, Kostas / Tsouros, Dimosthenis C. et al. | 2023
- 31
-
Partially Preemptive Multi Skill/Mode Resource-Constrained Project Scheduling with Generalized Precedence Relations and CalendarsPovéda, Guillaume / Alvarez, Nahum / Artigues, Christian et al. | 2023
- 32
-
Assembly Line Preliminary Design Optimization for an AircraftRoussel, Stéphanie / Polacsek, Thomas / Chan, Anouck et al. | 2023
- 33
-
SAT-Based Learning of Compact Binary Decision Diagrams for ClassificationShati, Pouya / Cohen, Eldan / McIlraith, Sheila et al. | 2023
- 34
-
Constraint Programming with External Worst-Case Traversal Time AnalysisTalbot, Pierre / Hu, Tingting / Navet, Nicolas et al. | 2023
- 35
-
Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set ProgrammingTrinh, Van-Giang / Benhamou, Belaid / Soliman, Sylvain et al. | 2023
- 36
-
Guided Bottom-Up Interactive Constraint AcquisitionTsouros, Dimosthenis C. / Berden, Senne / Guns, Tias et al. | 2023
- 37
-
Addressing Problem Drift in UNHCR Fund AllocationWijesundara, Sameela Suharshani / Garcia de la Banda, Maria / Tack, Guido et al. | 2023
- 38
-
From Formal Boosted Tree Explanations to Interpretable Rule SetsYu, Jinqiang / Ignatiev, Alexey / Stuckey, Peter J. et al. | 2023
- 39
-
Searching for Smallest Universal Graphs and Tournaments with SATZhang, Tianwei / Szeider, Stefan et al. | 2023
- 40
-
FastMapSVM for Predicting CSP SatisfiabilityZheng, Kexin / Li, Ang / Zhang, Han / Kumar, T. K. Satish et al. | 2023
- 41
-
Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep OptimizationZhou, Wenbo / Zhao, Yujiao / Wang, Yiyuan / Cai, Shaowei / Wang, Shimao / Wang, Xinyu / Yin, Minghao et al. | 2023
- 42
-
Predict-Then-Optimise Strategies for Water Flow Control (Short Paper)Barbosa Vaz, Vincent / Bailey, James / Leckie, Christopher / J. Stuckey, Peter et al. | 2023
- 43
-
Constraint Programming Models for Depth-Optimal Qubit Assignment and SWAP-Based Routing (Short Paper)Booth, Kyle E. C. et al. | 2023
- 44
-
Constraint Model for the Satellite Image Mosaic Selection Problem (Short Paper)Combarro Simón, Manuel / Talbot, Pierre / Danoy, Grégoire / Musial, Jedrzej / Alswaitti, Mohammed / Bouvry, Pascal et al. | 2023
- 45
-
Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams (Short Paper)Golenvaux, Nicolas / Gillard, Xavier / Nijssen, Siegfried / Schaus, Pierre et al. | 2023
- 46
-
Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (Short Paper)Lee, Chungjae / Boonbandansook, Wirattawut / Akhlaghi, Vahid Eghbal / Dalmeijer, Kevin / Van Hentenryck, Pascal et al. | 2023
- 47
-
A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper)Mirka, Renee / Greenstreet, Laura / Grimson, Marc / Gomes, Carla P. et al. | 2023
- 48
-
Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper)Peruvemba Ramaswamy, Vaidyanathan / Szeider, Stefan et al. | 2023
- 49
-
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper)Plank, Andreas / Möhle, Sibylle / Seidl, Martina et al. | 2023