Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Begum Genc, Barry O'Sullivan |
A Two-Phase Constraint Programming Model for Examination Timetabling at University College Cork. ![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. 724-742, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simon Rohou, Abderahmane Bedouhene, Gilles Chabert, Alexandre Goldsztejn, Luc Jaulin, Bertrand Neveu, Victor Reyes, Gilles Trombettoni |
Towards a Generic Interval Solver for Differential-Algebraic CSP. ![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. 548-565, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Garcia, Claude Michel, Michel Rueher |
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. ![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. 637-653, 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 |
A Time Leap Challenge for SAT-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. 267-285, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kyle E. C. Booth, Bryan O'Gorman, Jeffrey Marshall, Stuart Hadfield, Eleanor Gilbert Rieffel |
Quantum-Accelerated Global Constraint Filtering. ![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. 72-89, 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, Maximilian F. I. Kieler |
Treewidth-Aware Quantifier Elimination and Expansion for QCSP. ![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. 248-266, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Ignatiev, Martin C. Cooper, Mohamed Siala 0002, Emmanuel Hebrard, João Marques-Silva 0001 |
Towards Formal Fairness in Machine Learning. ![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. 846-867, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack |
Solving Satisfaction Problems Using Large-Neighbourhood 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. 55-71, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Behrouz Babaki, Bilel Omrani, Gilles Pesant |
Combinatorial Search in CP-Based Iterated Belief Propagation. ![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. 21-36, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paulius Dilkas, Vaishak Belle |
Generating Random Logic Programs Using 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. 828-845, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige |
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. ![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. 707-723, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marijn J. H. Heule |
Trimming Graphs Using Clausal Proof Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 251-267, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Schiendorfer, Wolfgang Reif |
Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 510-526, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kuhlemann, Meinolf Sellmann, Kevin Tierney |
Exploiting Counterfactuals for Scalable Stochastic Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 690-708, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Sukanya Basu, Supratik Chakraborty, Rangapriya Sundararajan, Prasanna Venkatraman |
Functional Significance Checking in Noisy Gene Regulatory Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 767-785, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ciaran McCreesh, William Pettersson, Patrick Prosser |
Understanding the Empirical Hardness of Random Optimisation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 333-349, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco M. Manquinho |
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 232-250, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Schiex, Simon de Givry (eds.) |
Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![Springer, 978-3-030-30047-0 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dimosthenis C. Tsouros, Kostas Stergiou 0001, Christian Bessiere |
Structure-Driven Multiple Constraint Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 709-725, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi |
On Symbolic Approaches for Computing the Matrix Permanent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 71-90, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey |
Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 37-53, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher, Markus Zisser |
An Improved GPU-Based SAT Model Counter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 491-509, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stanislav Murín, Hana Rudová |
Scheduling of Mobile Robots Using Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 456-471, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons |
Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 300-316, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Galleguillos, Zeynep Kiziltan, Alina Sîrbu, Özalp Babaoglu |
Constraint Programming-Based Job Dispatching for Modern HPC Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 438-455, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang 0001, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret |
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 20-36, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rocsildes Canoy, Tias Guns |
Vehicle Routing by Learning from Historical Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 54-70, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Da Col, Erich Christian Teppan |
Industrial Size Job Shop Scheduling Tackled by Present Day CP Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 144-160, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, Sebastian Ordyniak, Stefan Szeider |
A Join-Based Hybrid Parameter for Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 195-212, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Danuta Sorina Chisca, Michele Lombardi 0001, Michela Milano, Barry O'Sullivan |
Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 108-125, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Mitchell |
Guarded Constraint Models Define Treewidth Preserving Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 350-365, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Toro Icarte, León Illanes, Margarita P. Castro, André A. Ciré, Sheila A. McIlraith, J. Christopher Beck |
Training Binarized Neural Networks Using MIP and CP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 401-417, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexis de Colnet, Kuldeep S. Meel |
Dual Hashing-Based Algorithms for Discrete Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 161-176, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho |
Encodings for Enumeration-Based Program Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 583-599, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Buser Say, Scott Sanner, Sylvie Thiébaux |
Reward Potentials for Planning with Learned Neural Network Transition Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 674-689, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Md. Solimul Chowdhury, Martin Müller 0003, Jia-Huai You |
Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 126-143, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | John N. Hooker |
Improved Job Sequencing Bounds from Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 268-283, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Stuckey, Guido Tack |
Compiling Conditional Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 384-400, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Spracklen, Nguyen Dang 0001, Özgür Akgün, Ian Miguel |
Automatic Streamlining for Constrained Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 366-383, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | John O. R. Aoga, Siegfried Nijssen, Pierre Schaus |
Modeling Pattern Set Mining Using Boolean Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 621-638, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nadeem Al-Kurdi, Benjamin Pillot, Carmen Gervet, Laurent Linguet |
Towards Robust Scenarios of Spatio-Temporal Renewable Energy Planning: A GIS-RO Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 729-747, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alex Mattenet, Ian Davidson, Siegfried Nijssen, Pierre Schaus |
Generic Constraint-Based Block Modeling Using Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 656-673, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Gillard, Pierre Schaus, Yves Deville |
SolverCheck: Declarative Testing of Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 565-582, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Grigory Fedyukovich, Aarti Gupta |
Functional Synthesis with Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 547-564, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sara Frimodig, Christian Schulte 0001 |
Models for Radiation Therapy Patient Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 421-437, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Isoart, Jean-Charles Régin |
Integration of Structural Constraints into TSP Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 284-299, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Fioretto, Pascal Van Hentenryck |
Differential Privacy of Hierarchical Census Data: An Optimization Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 639-655, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Sami Cherif, Djamal Habet |
Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 91-107, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski |
An Incremental SAT-Based Approach to the Graph Colouring Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 213-231, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Özgür Akgün, Nguyen Dang 0001, Ian Miguel, András Z. Salamon, Christopher Stone |
Instance Generation via Generator Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 3-19, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet |
Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 317-332, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Emir Demirovic, Peter J. Stuckey |
Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 177-194, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Li-Cheng Chen, Jie-Hong R. Jiang |
A Cube Distribution Approach to QBF Solving and Certificate Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 529-546, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Pacheco, Cédric Pralet, Stéphanie Roussel 0001 |
Decomposition and Cut Generation Strategies for Solving Multi-Robot Deployment Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 472-487, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | John M. Betts, David L. Dowe, Daniel Guimarans, Daniel Damir Harabor, Heshan Kumarage, Peter J. Stuckey, Michael Wybrow |
Peak-Hour Rail Demand Shifting with Discrete Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 748-763, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Weikun Yang, Grigory Fedyukovich, Aarti Gupta |
Lemma Synthesis for Automating Induction over Algebraic Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 600-617, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fanghui Liu 0002, Waldemar Cruz, Laurent Michel |
A Complete Tolerant Algebraic Side-Channel Attack for AES with CP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 259-275, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Vismara, Nicolas Briot |
A Circuit Constraint for Multiple Tours Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 389-402, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca |
Unifying Reserve Design Strategies with Graph Theory and Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 507-523, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Linnea Ingmar, Christian Schulte 0001 |
Making Compact-Table Compact. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 210-218, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider |
An SMT Approach to Fractional Hypertree Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 109-127, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Schneider, Berthe Y. Choueiry |
PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 345-361, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong |
Augmenting Stream Constraint Programming with Eventuality Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 242-258, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki 0001, Vijay Ganesh |
The Effect of Structural Measures and Merges on SAT Solver Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 436-452, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
Solver-Independent Large Neighbourhood Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 81-98, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bessiere, Nadjib Lazaar, Mehdi Maamar |
User's Constraints in Itemset Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 537-553, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon |
Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 3-12, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
Propagating Regular Membership with Dashed Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 13-29, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Perez, Brendan Rappazzo, Carla P. Gomes |
Extending the Capacity of 1 / f Noise Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 601-610, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hong Xu 0003, Sven Koenig, T. K. Satish Kumar |
Towards Effective Deep Learning for Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 588-597, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florent R. Madelaine, Stéphane Secouard |
Quantified Valued Constraint Satisfaction Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 295-311, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Ansótegui, Meinolf Sellmann, Kevin Tierney |
Self-configuring Cost-Sensitive Hierarchical Clustering with Recourse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 524-534, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Holger H. Hoos, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider |
Portfolio-Based Algorithm Selection for Circuit QBFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 195-209, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Khoi D. Hoang, Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli, Roie Zivan |
A Large Neighboring Search Schema for Multi-agent Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 688-706, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Malioutov, Kuldeep S. Meel |
MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 312-327, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emir Demirovic, Geoffrey Chu, Peter J. Stuckey |
Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 99-108, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gleb Belov, Tobias Czauderna, Maria Garcia de la Banda, Matthias Klapperstück, Ilankaikone Senthooran, Mitch Smith, Michael Wybrow, Mark Wallace 0001 |
Process Plant Layout Optimization: Equipment Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 473-489, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florian Lonsing, Uwe Egly |
Evaluating QBF Solvers: Quantifier Alternations Matter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 276-294, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Cappart, Charles Thomas 0005, Pierre Schaus, Louis-Martin Rousseau |
A Constraint Programming Approach for Solving Patient Transportation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 490-506, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Tesch |
Improving Energetic Propagations for Cumulative Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 629-645, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bono, Alfonso Emilio Gerevini |
Decremental Consistency Checking of Temporal Constraints: Algorithms for the Point Algebra and the ORD-Horn Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 47-63, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Spracklen, Özgür Akgün, Ian Miguel |
Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 362-372, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dimosthenis C. Tsouros, Kostas Stergiou 0001, Panagiotis G. Sarigiannidis |
Efficient Methods for Constraint Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 373-388, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Bit-Monnot |
A Constraint-Based Encoding for Domain-Independent Temporal Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 30-46, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné |
Finding Solutions by Finding Inconsistencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 420-435, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
Metamorphic Testing of Constraint Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 727-736, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Liel Cohen, Roie Zivan |
Balancing Asymmetry in Max-sum Using Split Constraint Factor Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 669-687, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda |
Towards Semi-Automatic Learning-Based Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 403-419, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Meriem Khelifa, Dalila Boughaci, Esma Aïmeur |
A Novel Graph-Based Heuristic Approach for Solving Sport Scheduling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 229-241, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Peter J. Stuckey |
Sequential Precede Chain for Value Symmetry Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 144-159, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hebrard, George Katsirelos |
Clause Learning and New Bounds for Graph Coloring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 179-194, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | John N. Hooker (eds.) |
Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![Springer, 978-3-319-98333-2 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki 0001, Vijay Ganesh |
Learning-Sensitive Backdoors with Restarts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 453-469, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Waldemar Cruz, Fanghui Liu 0002, Laurent Michel |
Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 613-628, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais |
A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 570-587, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Saurabh Joshi 0001, Prateek Kumar 0001, Ruben Martins, Sukrut Rao |
Approximation Strategies for Incomplete MaxSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 219-228, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rohan Fossé, Laurent Simon |
On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 128-143, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Palmieri, Guillaume Perez |
Objective as a Feature for Robust Search Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 328-344, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vadim Levit 0001, Amnon Meisels |
Distributed Constrained Search by Selfish Agents for Efficient Equilibria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 707-724, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, Wafa Jguirim, David A. Cohen |
Domain Reduction for Valued Constraints by Generalising Methods from CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 64-80, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|