Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider |
Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 48:1-48:10, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Matthew J. McIlree, Ciaran McCreesh |
Proof Logging for Smart Extensional Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 26:1-26:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Carla Juvin, Emmanuel Hebrard, Laurent Houssin, Pierre Lopez |
An Efficient Constraint Programming Approach to Preemptive Job Shop Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 19:1-19:16, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ryo Kuroiwa 0002, J. Christopher Beck |
Large Neighborhood Beam Search for Domain-Independent Dynamic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 23:1-23:22, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 0:1-0:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Klapperstueck, Frits de Nijs, Ilankaikone Senthooran, Jack Lee-Kopij, Maria Garcia de la Banda, Michael Wybrow |
Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 21:1-21:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kyle E. C. Booth |
Constraint Programming Models for Depth-Optimal Qubit Assignment and SWAP-Based Routing (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 43:1-43:10, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Steve Malalel, Arnaud Malapert, Marie Pelleau, Jean-Charles Régin |
MDD Archive for Boosting the Pareto Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 24:1-24:15, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Dubray, Pierre Schaus, Siegfried Nijssen |
Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 15:1-15:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chungjae Lee, Wirattawut Boonbandansook, Vahid Eghbal Akhlaghi, Kevin Dalmeijer, Pascal Van Hentenryck |
Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 46:1-46:11, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Barbosa Vaz, James Bailey 0001, Christopher Leckie, Peter J. Stuckey |
Predict-Then-Optimise Strategies for Water Flow Control (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 42:1-42:10, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos Ploskas, Kostas Stergiou 0001, Dimosthenis C. Tsouros |
The p-Dispersion Problem with Distance Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 30:1-30:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yi Chu, Shaowei Cai 0001, Chuan Luo 0002, Zhendong Lei, Cong Peng 0004 |
Towards More Efficient Local Search for Pseudo-Boolean Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 12:1-12:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Renee Mirka, Laura Greenstreet, Marc Grimson, Carla P. Gomes |
A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 47:1-47:11, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Wenbo Zhou, Yujiao Zhao, Yiyuan Wang, Shaowei Cai 0001, Shimao Wang, Xinyu Wang, Minghao Yin |
Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 41:1-41:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tom Marty, Tristan François, Pierre Tessier, Louis Gautier, Louis-Martin Rousseau, Quentin Cappart |
Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 25:1-25:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Perez, Gaël Glorian, Wijnand Suijlen, Arnaud Lallouet |
Distribution Optimization in Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 29:1-29:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Arnoosh Golestanian, Giovanni Lo Bianco, Chengyu Tao, J. Christopher Beck |
Optimization Models for Pickup-And-Delivery Problems with Reconfigurable Capacities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 17:1-17:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jimmy H. M. Lee |
A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 2:1-2:1, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Peng, Christine Solnon |
Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 28:1-28:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Petr Kucera |
Binary Constraint Trees and Structured Decomposability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 22:1-22:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stéphanie Roussel 0001, Thomas Polacsek, Anouck Chan |
Assembly Line Preliminary Design Optimization for an Aircraft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 32:1-32:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo |
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 18:1-18:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vianney Coppé, Xavier Gillard, Pierre Schaus |
Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 13:1-13:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Talbot, Tingting Hu, Nicolas Navet |
Constraint Programming with External Worst-Case Traversal Time Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 34:1-34:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | João Araújo 0002, Choiwah Chow, Mikolás Janota |
Symmetries for Cube-And-Conquer in Finite Model Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 8:1-8:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Plank, Sibylle Möhle, Martina Seidl |
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 49:1-49:10, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Perron, Frédéric Didier, Steven Gay |
The CP-SAT-LP Solver (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 3:1-3:2, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Roland H. C. Yap (eds.) |
29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Kexin Zheng, Ang Li, Han Zhang, T. K. Satish Kumar |
FastMapSVM for Predicting CSP Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 40:1-40:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Aymeric Beauchamp, Thi-Bich-Hanh Dao, Samir Loudni, Christel Vrain |
Incremental Constrained Clustering by Minimal Weighted Modification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 10:1-10:22, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman |
Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 35:1-35:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Younes Aalian, Gilles Pesant, Michel Gamache |
Optimization of Short-Term Underground Mine Planning Using Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 6:1-6:16, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dimosthenis C. Tsouros, Senne Berden, Tias Guns |
Guided Bottom-Up Interactive Constraint Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 36:1-36:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Audemard, Christophe Lecoutre, Charles Prud'homme |
Guiding Backtrack Search by Tracking Variables During Constraint Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 9:1-9:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey |
From Formal Boosted Tree Explanations to Interpretable Rule Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 38:1-38:21, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yousra El Ghazi, Djamal Habet, Cyril Terrioux |
A CP Approach for the Liner Shipping Network Design Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 16:1-16:21, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack |
Addressing Problem Drift in UNHCR Fund Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 37:1-37:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Roger Kameugne, Sévérine Betmbe Fetgo, Thierry Noulamo, Clémentin Tayou Djamégni |
Horizontally Elastic Edge Finder Rule for Cumulative Constraint Based on Slack and Density. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 20:1-20:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts 0001, Tias Guns |
Simplifying Step-Wise Explanation Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 11:1-11:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Deza, Chang Liu, Pashootan Vaezipoor, Elias B. Khalil |
Fast Matrix Multiplication Without Tears: A Constraint Programming Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 14:1-14:15, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres |
Exploiting Configurations of MaxSAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 7:1-7:16, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tianwei Zhang, Stefan Szeider |
Searching for Smallest Universal Graphs and Tournaments with SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 39:1-39:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Combarro Simón, Pierre Talbot, Grégoire Danoy, Jedrzej Musial, Mohammed Alswaitti, Pascal Bouvry |
Constraint Model for the Satellite Image Mosaic Selection Problem (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 44:1-44:15, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Petr Vilím |
CP Solver Design for Maximum CPU Utilization (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 5:1-5:1, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Golenvaux, Xavier Gillard, Siegfried Nijssen, Pierre Schaus |
Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 45:1-45:10, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Schiex |
Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 4:1-4:3, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pouya Shati, Eldan Cohen, Sheila A. McIlraith |
SAT-Based Learning of Compact Binary Decision Diagrams for Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 33:1-33:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Maria Garcia de la Banda |
Beyond Optimal Solutions for Real-World Problems (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 1:1-1:4, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Povéda, Nahum Álvarez, Christian Artigues |
Partially Preemptive Multi Skill/Mode Resource-Constrained Project Scheduling with Generalized Precedence Relations and Calendars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 31:1-31:21, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström |
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 27:1-27:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Amel Hidouri, Saïd Jabbour, Badran Raddaoui |
On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 27:1-27:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve |
Heuristics for MDD Propagation in HADDOCK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 24:1-24:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos, Simon de Givry |
Parallel Hybrid Best-First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 7:1-7:10, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bessiere, Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard |
Complexity of Minimum-Size Arc-Inconsistency Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 9:1-9:14, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ágnes Cseh, Guillaume Escamocher, Luis Quesada 0001 |
Computing Relaxations for the Three-Dimensional Stable Matching Problem with Cyclic Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 16:1-16:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Senne Berden, Mohit Kumar 0003, Samuel Kolb, Tias Guns |
Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 8:1-8:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Chaithanya Basrur, Arambam James Singh, Arunesh Sinha, Akshat Kumar, T. K. Satish Kumar |
Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 5:1-5:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Maria-Florina Balcan, Siddharth Prasad, Tuomas Sandholm, Ellen Vitercik |
Improved Sample Complexity Bounds for Branch-And-Cut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 3:1-3:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jie Wang, Dingding Chen, Ziyu Chen, Xiang-Shuang Liu, Junsong Gao |
Completeness Matters: Towards Efficient Caching in Tree-Based Synchronous Backtracking Search for DCOPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 39:1-39:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Boudreault, Vanessa Simard, Daniel Lafond, Claude-Guy Quimper |
A Constraint Programming Approach to Ship Refit Project Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 10:1-10:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Coulombe, Claude-Guy Quimper |
Constraint Acquisition Based on Solution Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 15:1-15:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Clément Carbonnel |
On Redundancy in Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 11:1-11:15, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daphné Lafleur, Sarath Chandar, Gilles Pesant |
Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 30:1-30:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, Arnaud Lequen, Frédéric Maris |
Isomorphisms Between STRIPS Problems and Sub-Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 13:1-13:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Libor Barto, Silvia Butti |
Weisfeiler-Leman Invariant Promise Valued CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 4:1-4:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Joan Espasa, Ian Miguel, Mateu Villaret |
Plotting: A Planning Problem with Complex Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 22:1-22:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jheisson López, Alejandro Arbelaez, Laura Climent |
Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 33:1-33:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nguyen Dang 0001, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale |
A Framework for Generating Informative Benchmark Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 18:1-18:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Augustin Delecluse, Pierre Schaus, Pascal Van Hentenryck |
Sequence Variables for Routing Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 19:1-19:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Felix Winter, Sebastian Meiswinkel, Nysret Musliu, Daniel Walkiewicz |
Modeling and Solving Parallel Machine Scheduling with Contamination Constraints in the Agricultural Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 41:1-41:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Vianney Coppé, Xavier Gillard, Pierre Schaus |
Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 14:1-14:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mate Soos, Priyanka Golia, Sourav Chakraborty 0001, Kuldeep S. Meel |
On Quantitative Testing of Samplers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 36:1-36:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jimmy H. M. Lee, Allen Z. Zhong |
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 31:1-31:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ruiwei Wang, Roland H. C. Yap |
CNF Encodings of Binary Constraint Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 40:1-40:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack |
Explaining Propagation for Gini and Spread with Variable Mean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 21:1-21:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Gocht, Ciaran McCreesh, Jakob Nordström |
An Auditable Constraint Programming Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 25:1-25:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Donald E. Knuth |
All Questions Answered (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 1:1-1:1, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mohit Kumar 0003, Samuel Kolb, Tias Guns |
Learning Constraint Programming Models from Data Using Generate-And-Aggregate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 29:1-29:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Curry, Gabriel De Pace, Benjamin Fuller 0001, Laurent Michel, Yan Lindsay Sun |
DUELMIPs: Optimizing SDN Functionality and Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 17:1-17:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ruth Hoffmann, Xu Zhu, Özgür Akgün, Miguel A. Nacenta |
Understanding How People Approach Constraint Modelling and Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 28:1-28:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Fargier, Jérôme Mengin, Nicolas Schmidt |
Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 23:1-23:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Sami Cherif, Djamal Habet, Matthieu Py |
From Crossing-Free Resolution to Max-SAT Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 12:1-12:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marijn J. H. Heule, Anthony Karahalios, Willem-Jan van Hoeve |
From Cliques to Colorings and Back Again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 26:1-26:10, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Isaac Rudich, Quentin Cappart, Louis-Martin Rousseau |
Peel-And-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 35:1-35:20, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kristina Asimi, Libor Barto, Silvia Butti |
Fixed-Template Promise Model Checking Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 2:1-2:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Louis Popovic, Alain Côté, Mohamed Gaha, Franklin Nguewouo, Quentin Cappart |
Scheduling the Equipment Maintenance of an Electric Power Transmission Network Using Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 34:1-34:15, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christine Solnon (eds.) |
28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Fulya Trösser, Simon de Givry, George Katsirelos |
Structured Set Variable Domains in Bayesian Network Structure Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 37:1-37:9, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 0:1-0:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin, Claude-Guy Quimper |
Acquiring Maps of Interrelated Conjectures on Sharp Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 6:1-6:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jan Dreier, Sebastian Ordyniak, Stefan Szeider |
CSP Beyond Tractable Constraint Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 20:1-20:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hongbo Li 0005, Yaling Wu, Minghao Yin, Zhanshan Li |
A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 32:1-32:10, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker |
Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 38:1-38:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Isoart, Jean-Charles Régin |
A Linear Time Algorithm for the k-Cutset Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., pp. 29:1-29:16, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-211-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shannon Sweitzer, T. K. Satish Kumar |
Differential Programming via OR Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., pp. 53:1-53:15, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-211-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pouya Shati, Eldan Cohen, Sheila A. McIlraith |
SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., pp. 50:1-50:16, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-211-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Defeng Liu, Andrea Lodi 0001 |
Learning in Local Branching (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., pp. 3:1-3:2, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-211-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Archetti, Ola Jabali, Andrea Mor, Alberto Simonetto, M. Grazia Speranza |
The Bi-Objective Long-Haul Transportation Problem on a Road Network (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., pp. 1:1-1:1, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-211-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dimosthenis C. Tsouros, Kostas Stergiou 0001 |
Learning Max-CSPs via Active Constraint Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., pp. 54:1-54:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-211-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|