29th International Conference on Principles and Practice of Constraint Programming : CP 2023, August 27-31, 2023, Toronto, Canada (Englisch)
Freier Zugriff
- Neue Suche nach: International Conference on Principles and Practice of Constraint Programming
- Weitere Informationen zu International Conference on Principles and Practice of Constraint Programming:
- http://d-nb.info/gnd/1310209251
- Neue Suche nach: Yap, Roland H. C.
- Neue Suche nach: International Conference on Principles and Practice of Constraint Programming
- Weitere Informationen zu International Conference on Principles and Practice of Constraint Programming:
- http://d-nb.info/gnd/1310209251
2023
-
ISBN:
- Konferenzband / Elektronische Ressource
-
Titel:29th International Conference on Principles and Practice of Constraint Programming : CP 2023, August 27-31, 2023, Toronto, Canada
-
Weitere Titelangaben:CP 2023
29th International Conference on Principles and Practice of Constraint Programming (CP 2023) -
Beteiligte:Yap, Roland H. C. ( Herausgeber:in ) / International Conference on Principles and Practice of Constraint Programming ( Autor:in )
-
Kongress:International Conference on Principles and Practice of Constraint Programming ; 29 ; 2023 ; Toronto
CP ; 29 ; 2023 ; Toronto -
Erschienen in:
-
Verlag:
- Neue Suche nach: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
-
Erscheinungsort:Wadern
-
Erscheinungsdatum:2023
-
Format / Umfang:1 Online-Ressource
-
Anmerkungen:Literaturangaben
-
ISBN:
-
DOI:
-
Medientyp:Konferenzband
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 54.50
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.50 Programmierung: Allgemeines -
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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