Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jayanta Mandi, Rocsildes Canoy, Víctor Bucarey, Tias Guns |
Data Driven VRP: A Neural Network Model to Learn Hidden Preferences for VRP. ![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. 42:1-42:17, 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 | Luis Quesada 0001, Kenneth N. Brown |
Positive and Negative Length-Bound Reachability Constraints. ![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. 46:1-46: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 | Benjamin Kovács, Pierre Tassel, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein, Martin Gebser |
Utilizing Constraint Optimization for Industrial Machine Workload Balancing. ![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. 36:1-36:17, 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 | Jiong Yang 0002, Kuldeep S. Meel |
Engineering an Efficient PB-XOR Solver. ![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. 58:1-58:20, 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 | Marie-Louise Lackner, Christoph Mrkvicka, Nysret Musliu, Daniel Walkiewicz, Felix Winter |
Minimizing Cumulative Batch Processing Time for an Industrial Oven Scheduling Problem. ![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. 37:1-37: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 |
|
1 | João Araújo 0002, Choiwah Chow, Mikolás Janota |
Filtering Isomorphic Models by Invariants (Short Paper). ![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. 4:1-4:9, 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 | Luc Libralesso, François Delobel, Pascal Lafourcade 0001, Christine Solnon |
Automatic Generation of Declarative Models For Differential Cryptanalysis. ![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. 40:1-40: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 |
|
1 | Pavel Smirnov 0003, Jeremias Berg, Matti Järvisalo |
Pseudo-Boolean Optimization by Implicit Hitting Sets. ![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. 51:1-51:20, 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 | Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta |
An Algorithm-Independent Measure of Progress for Linear Constraint Propagation. ![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. 52:1-52:17, 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 | Xiang-Shuang Liu, Ziyu Chen, Dingding Chen, Junsong Gao |
A Bound-Independent Pruning Technique to Speeding up Tree-Based Complete Search Algorithms for Distributed Constraint Optimization Problems. ![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. 41:1-41:17, 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 | Carlos Ansótegui, Jesus Ojeda, Eduard Torres |
Building High Strength Mixed Covering Arrays with Constraints. ![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. 12:1-12:17, 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 | Chaitanya K. Joshi, Quentin Cappart, Louis-Martin Rousseau, Thomas Laurent 0001 |
Learning TSP Requires Rethinking Generalization. ![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. 33:1-33:21, 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 | Andreas Niskanen, Jeremias Berg, Matti Järvisalo |
Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights. ![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. 44:1-44:19, 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 | Abderahmane Bedouhene, Bertrand Neveu, Gilles Trombettoni, Luc Jaulin, Stéphane Le Ménec |
An Interval Constraint Programming Approach for Quasi Capture Tube Validation. ![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. 18:1-18:17, 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 | Mikolás Janota, António Morgado 0001, José Fragoso Santos, Vasco M. Manquinho |
The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets. ![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. 31:1-31: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 | Yannick Carissan, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet |
Exhaustive Generation of Benzenoid Structures Sharing Common Patterns. ![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. 19:1-19: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 |
|
1 | Roie Zivan, Omer Perry, Ben Rachmut, William Yeoh 0001 |
The Effect of Asynchronous Execution and Message Latency on Max-Sum. ![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. 60:1-60: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 |
|
1 | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper). ![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. 7:1-7:11, 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 | Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme |
Solution Sampling with Random Table Constraints. ![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. 56:1-56:17, 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 | Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang 0001 |
Making Rigorous Linear Programming Practical for Program Analysis. ![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. 57:1-57:17, 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 | Nils Merlin Ullmann, Tomás Balyo, Michael Klein |
Parallelizing a SAT-Based Product Configurator. ![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. 55:1-55: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 |
|
1 | Valentin Antuori, Tom Portoleau, Louis Rivière, Emmanuel Hebrard |
On How Turing and Singleton Arc Consistency Broke the Enigma Code. ![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. 13:1-13: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 | Johannes Klaus Fichte, Markus Hecher, Ciaran McCreesh, Anas Shahab |
Complications for Computational Experiments from Modern Processors. ![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. 25:1-25:21, 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 | Yiwei Bai, Di Chen 0001, Carla P. Gomes |
CLR-DRNets: Curriculum Learning with Restarts to Solve Visual Combinatorial Games. ![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. 17:1-17:14, 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 | Markus Iser, Tomás Balyo |
Unit Propagation with Stable Watches (Short Paper). ![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. 6:1-6:8, 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 | Guilherme de Azevedo Silveira |
Generating Magical Performances with Constraint Programming (Short Paper). ![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. 10:1-10:13, 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 | Tomás Dlask, Tomás Werner, Simon de Givry |
Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations. ![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. 23:1-23: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 |
|
1 | Shaowei Cai 0001, Chuan Luo 0002, Xindi Zhang, Jian Zhang |
Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). ![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. 5:1-5:10, 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 | Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He 0001 |
Combining Clause Learning and Branch and Bound for MaxSAT. ![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. 38:1-38: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 |
|
1 | Tuukka Korhonen, Matti Järvisalo |
Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters (Short Paper). ![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. 8:1-8:11, 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 | Gaël Glorian, Adrien Debesson, Sylvain Yvon-Paliot, Laurent Simon |
The Dungeon Variations Problem Using Constraint Programming. ![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. 27:1-27: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 | Johannes Klaus Fichte, Markus Hecher, Valentin Roland |
Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization. ![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. 24:1-24:20, 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 | Valentin Antuori, Emmanuel Hebrard, Marie-José Huguet, Siham Essodaigui, Alain Nguyen |
Combining Monte Carlo Tree Search and Depth First Search Methods for a Car Manufacturing Workshop Scheduling Problem. ![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. 14:1-14: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 | Ilankaikone Senthooran, Pierre Le Bodic, Peter J. Stuckey |
Optimising Training for Service Delivery. ![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. 48:1-48: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 | Laurent D. Michel (eds.) |
27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-211-2 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Ágnes Cseh, Guillaume Escamocher, Begüm Genç, Luis Quesada 0001 |
A Collection of Constraint Programming Models for the Three-Dimensional Stable Matching Problem with Cyclic Preferences. ![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. 22:1-22:19, 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 | Bohan Li 0002, Kai Wang, Yiyuan Wang, Shaowei Cai 0001 |
Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search. ![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. 39:1-39: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 | Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev |
Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. ![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. 47:1-47: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 |
|
1 | Anton Korikov, J. Christopher Beck |
Counterfactual Explanations via Inverse Constraint Programming. ![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. 35:1-35: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 | Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis |
The Hybrid Flexible Flowshop with Transportation Times. ![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. 16:1-16: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 |
|
1 | Peter Jonsson, Victor Lagerkvist, Sebastian Ordyniak |
Reasoning Short Cuts in Infinite Domain Constraint Satisfaction: Algorithms and Lower Bounds for Backdoors. ![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. 32:1-32:20, 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 | Hannes Ihalainen, Jeremias Berg, Matti Järvisalo |
Refined Core Relaxation for Core-Guided MaxSAT Solving. ![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. 28:1-28:19, 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 | Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani |
Practical Bigraphs via Subgraph Isomorphism. ![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. 15:1-15:17, 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 | Markus Kirchweger, Stefan Szeider |
SAT Modulo Symmetries for Graph Generation. ![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. 34:1-34: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 | Ferdinando Fioretto |
Constrained-Based Differential Privacy (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. 2:1-2: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 | Nicolas Isoart, Jean-Charles Régin |
A k-Opt Based Constraint for the TSP. ![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. 30:1-30: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 | Xiao Peng, Christine Solnon, Olivier Simonin 0001 |
Solving the Non-Crossing MAPF with CP. ![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. 45:1-45: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 | Théo Matricon, Marie Anastacio, Nathanaël Fijalkow, Laurent Simon, Holger H. Hoos |
Statistical Comparison of Algorithm Performance Through Instance Selection. ![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. 43:1-43:21, 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 | Cristian Galleguillos, Zeynep Kiziltan, Ricardo Soto 0001 |
A Job Dispatcher for Large and Heterogeneous HPC Systems Running Modern Applications. ![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. 26:1-26: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 | Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace 0001, Michael Wybrow, Maria Garcia de la Banda |
Human-Centred Feasibility Restoration. ![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. 49:1-49: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 |
|
1 | Hongbo Li 0005, Minghao Yin, Zhanshan Li |
Failure Based Variable Ordering Heuristics for Solving CSPs (Short Paper). ![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. 9:1-9:10, 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 | Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux |
Combining VSIDS and CHB Using Restarts in SAT. ![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. 20:1-20:19, 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 | Martin C. Cooper, João Marques-Silva 0001 |
On the Tractability of Explaining Decisions of Classifiers. ![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. 21:1-21: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 |
|
1 | Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby |
Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric Vehicles. ![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. 11:1-11:17, 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 | Ghiles Ziat, Matthieu Dien, Vincent Botbol |
Automated Random Testing of Numerical Constrained Types. ![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. 59:1-59:19, 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 | Neng-Fa Zhou |
In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 585-602, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Antuori, Emmanuel Hebrard, Marie-José Huguet, Siham Essodaigui, Alain Nguyen |
Leveraging Reinforcement Learning, Constraint Programming and Local Search: A Case Study in Car Manufacturing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 657-672, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Gupta, Subhajit Roy 0001, Kuldeep S. Meel |
Phase Transition Behavior in Knowledge Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 358-374, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace 0001 |
Core-Guided Model Reformulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 445-461, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Dlask, Tomás Werner |
On Relation Between Constraint Propagation and Block-Coordinate Descent in Linear Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 194-210, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anastasia Paparrizou, Hugues Wattez |
Perturbing Branching Heuristics in Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 496-513, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser, James Trimble 0001 |
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 338-357, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Mercier-Aubin, Ludwig Dumetz, Jonathan Gaudreault, Claude-Guy Quimper |
The Confidence Constraint: A Step Towards Stochastic CP Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 759-773, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Edward Lam 0001, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar |
Exact Approaches to the Multi-agent Collective Construction Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 743-758, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Rouquette, Christine Solnon |
abstractXOR: A global constraint dedicated to differential cryptanalysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 566-584, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Isoart, Jean-Charles Régin |
Parallelization of TSP Solving in CP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 410-426, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh |
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 899-916, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Groleaz, Samba Ndojh Ndiaye, Christine Solnon |
Solving the Group Cumulative Scheduling Problem with CPO and ACO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 620-636, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic |
Computing Optimal Decision Sets with SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 952-970, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jo Devriendt |
Watched Propagation of 0-1 Integer Linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 160-176, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Céline Brouard, Simon de Givry, Thomas Schiex |
Pushing Data into CP Models Using Graphical Model Learning and Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 811-827, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Minghao Liu 0001, Fan Zhang, Pei Huang 0002, Shuzi Niu, Feifei Ma, Jian Zhang 0001 |
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 885-898, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Edward Lam 0001, Frits de Nijs, Peter J. Stuckey, Donald Azuatalam, Ariel Liebman |
Large Neighborhood Search for Temperature Control with Demand Response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 603-619, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Peitl, Stefan Szeider |
Finding the Hardest Formulas for Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 514-530, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Janne I. Kokkala, Jakob Nordström |
Using Resolution Proofs to Analyse CDCL Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 427-444, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shaowei Cai 0001, Xindi Zhang |
Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 90-106, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Hoi, Sanjay Jain 0001, Frank Stephan 0001 |
A Faster Exact Algorithm to Count X3SAT Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 375-391, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Monika Trimoska, Sorina Ionica, Gilles Dequen |
Parity (XOR) Reasoning for the Index Calculus Attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 774-790, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry |
Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 791-808, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Dlask, Tomás Werner |
Bounding Linear Programs by Constraint Propagation: Application to Max-SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 177-193, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rebecca Gentzel, Laurent Michel, Willem Jan van Hoeve |
HADDOCK: A Language and Architecture for Decision Diagram Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 531-547, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Margaux Nattaf, Arnaud Malapert |
Filtering Rules for Flow Time Minimization in a Parallel Machine Scheduling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 462-477, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale |
Effective Encodings of Constraint Programming Models to SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 143-159, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
Dashed Strings and the Replace(-all) Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 3-20, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider |
MaxSAT-Based Postprocessing for Treedepth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 478-495, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
Aggregation and Garbage Collection for Online Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 231-247, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Simonis (eds.) |
Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![Springer, 978-3-030-58474-0 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Cohen-Solal |
Tractable Fragments of Temporal Sequences of Topological Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 107-125, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher, Stefan Szeider |
Breaking Symmetries with RootClique and LexTopSort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 286-303, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper |
Strengthening Neighbourhood Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 126-142, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, André Schidler |
Towards Faster Reasoners by Using Transparent Huge Pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 304-322, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marko Kleine Büning, Philipp Kern, Carsten Sinz |
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 868-884, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Carissan, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet |
Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 690-706, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Carissan, Chisom-Adaobi Dim, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet |
Computing the Local Aromaticity of Benzenoids Thanks to Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 673-689, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi |
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 211-230, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ian Howell, Berthe Y. Choueiry, Hongfeng Yu 0001 |
Visualizations to Summarize Search Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 392-409, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dimosthenis C. Tsouros, Kostas Stergiou 0001, Christian Bessiere |
Omissions in Constraint Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 935-951, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Buser Say, Jo Devriendt, Jakob Nordström, Peter J. Stuckey |
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 917-934, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Peter J. Stuckey |
The Argmax Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 323-337, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Bendík, Ivana Cerná |
Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 37-54, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|