| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider |
Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper).  |
CP  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew J. McIlree, Ciaran McCreesh |
Proof Logging for Smart Extensional Constraints. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla Juvin, Emmanuel Hebrard, Laurent Houssin, Pierre Lopez |
An Efficient Constraint Programming Approach to Preemptive Job Shop Scheduling. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryo Kuroiwa 0002, J. Christopher Beck |
Large Neighborhood Beam Search for Domain-Independent Dynamic Programming. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CP |
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. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyle E. C. Booth |
Constraint Programming Models for Depth-Optimal Qubit Assignment and SWAP-Based Routing (Short Paper). |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Malalel, Arnaud Malapert, Marie Pelleau, Jean-Charles Régin |
MDD Archive for Boosting the Pareto Constraint. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Dubray, Pierre Schaus, Siegfried Nijssen |
Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses. |
CP |
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). |
CP |
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). |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Ploskas, Kostas Stergiou 0001, Dimosthenis C. Tsouros |
The p-Dispersion Problem with Distance Constraints. |
CP |
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. |
CP |
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). |
CP |
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. |
CP |
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. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Perez, Gaël Glorian, Wijnand Suijlen, Arnaud Lallouet |
Distribution Optimization in Constraint Programming. |
CP |
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. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmy H. M. Lee |
A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk). |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Peng, Christine Solnon |
Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Kucera |
Binary Constraint Trees and Structured Decomposability. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Roussel 0001, Thomas Polacsek, Anouck Chan |
Assembly Line Preliminary Design Optimization for an Aircraft. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo |
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. |
CP |
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. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Talbot, Tingting Hu, Nicolas Navet |
Constraint Programming with External Worst-Case Traversal Time Analysis. |
CP |
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. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Plank, Sibylle Möhle, Martina Seidl |
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Perron, Frédéric Didier, Steven Gay |
The CP-SAT-LP Solver (Invited Talk). |
CP |
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 |
CP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Kexin Zheng, Ang Li, Han Zhang, T. K. Satish Kumar |
FastMapSVM for Predicting CSP Satisfiability. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Aymeric Beauchamp, Thi-Bich-Hanh Dao, Samir Loudni, Christel Vrain |
Incremental Constrained Clustering by Minimal Weighted Modification. |
CP |
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. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Younes Aalian, Gilles Pesant, Michel Gamache |
Optimization of Short-Term Underground Mine Planning Using Constraint Programming. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimosthenis C. Tsouros, Senne Berden, Tias Guns |
Guided Bottom-Up Interactive Constraint Acquisition. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Christophe Lecoutre, Charles Prud'homme |
Guiding Backtrack Search by Tracking Variables During Constraint Propagation. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey |
From Formal Boosted Tree Explanations to Interpretable Rule Sets. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yousra El Ghazi, Djamal Habet, Cyril Terrioux |
A CP Approach for the Liner Shipping Network Design Problem. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack |
Addressing Problem Drift in UNHCR Fund Allocation. |
CP |
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. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts 0001, Tias Guns |
Simplifying Step-Wise Explanation Sequences. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Deza, Chang Liu, Pashootan Vaezipoor, Elias B. Khalil |
Fast Matrix Multiplication Without Tears: A Constraint Programming Approach. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres |
Exploiting Configurations of MaxSAT Solvers. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianwei Zhang, Stefan Szeider |
Searching for Smallest Universal Graphs and Tournaments with SAT. |
CP |
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). |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Vilím |
CP Solver Design for Maximum CPU Utilization (Invited Talk). |
CP |
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). |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schiex |
Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk). |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pouya Shati, Eldan Cohen, Sheila A. McIlraith |
SAT-Based Learning of Compact Binary Decision Diagrams for Classification. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Garcia de la Banda |
Beyond Optimal Solutions for Real-World Problems (Invited Talk). |
CP |
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. |
CP |
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. |
CP |
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. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve |
Heuristics for MDD Propagation in HADDOCK. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos, Simon de Givry |
Parallel Hybrid Best-First Search. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard |
Complexity of Minimum-Size Arc-Inconsistency Explanations. |
CP |
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. |
CP |
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. |
CP |
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. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria-Florina Balcan, Siddharth Prasad, Tuomas Sandholm, Ellen Vitercik |
Improved Sample Complexity Bounds for Branch-And-Cut. |
CP |
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. |
CP |
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. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Coulombe, Claude-Guy Quimper |
Constraint Acquisition Based on Solution Counting. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Carbonnel |
On Redundancy in Constraint Satisfaction Problems. |
CP |
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. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Cooper, Arnaud Lequen, Frédéric Maris |
Isomorphisms Between STRIPS Problems and Sub-Problems. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Libor Barto, Silvia Butti |
Weisfeiler-Leman Invariant Promise Valued CSPs. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan Espasa, Ian Miguel, Mateu Villaret |
Plotting: A Planning Problem with Complex Transitions. |
CP |
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. |
CP |
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. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Augustin Delecluse, Pierre Schaus, Pascal Van Hentenryck |
Sequence Variables for Routing Problems. |
CP |
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. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vianney Coppé, Xavier Gillard, Pierre Schaus |
Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mate Soos, Priyanka Golia, Sourav Chakraborty 0001, Kuldeep S. Meel |
On Quantitative Testing of Samplers. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmy H. M. Lee, Allen Z. Zhong |
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruiwei Wang, Roland H. C. Yap |
CNF Encodings of Binary Constraint Trees. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack |
Explaining Propagation for Gini and Spread with Variable Mean. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Gocht, Ciaran McCreesh, Jakob Nordström |
An Auditable Constraint Programming Solver. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald E. Knuth |
All Questions Answered (Invited Talk). |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohit Kumar 0003, Samuel Kolb, Tias Guns |
Learning Constraint Programming Models from Data Using Generate-And-Aggregate. |
CP |
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. |
CP |
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. |
CP |
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. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Sami Cherif, Djamal Habet, Matthieu Py |
From Crossing-Free Resolution to Max-SAT Resolution. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn J. H. Heule, Anthony Karahalios, Willem-Jan van Hoeve |
From Cliques to Colorings and Back Again. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Isaac Rudich, Quentin Cappart, Louis-Martin Rousseau |
Peel-And-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristina Asimi, Libor Barto, Silvia Butti |
Fixed-Template Promise Model Checking Problems. |
CP |
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. |
CP |
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. |
CP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Fulya Trösser, Simon de Givry, George Katsirelos |
Structured Set Variable Domains in Bayesian Network Structure Learning. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CP |
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. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Dreier, Sebastian Ordyniak, Stefan Szeider |
CSP Beyond Tractable Constraint Languages. |
CP |
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. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker |
Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Isoart, Jean-Charles Régin |
A Linear Time Algorithm for the k-Cutset Constraint. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shannon Sweitzer, T. K. Satish Kumar |
Differential Programming via OR Methods. |
CP |
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. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Defeng Liu, Andrea Lodi 0001 |
Learning in Local Branching (Invited Talk). |
CP |
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). |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimosthenis C. Tsouros, Kostas Stergiou 0001 |
Learning Max-CSPs via Active Constraint Acquisition. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license