Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Clément Viricel, David Simoncini, Sophie Barbe, Thomas Schiex |
Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 733-750, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ludwig Krippahl, Pedro Barahona |
Constraining Redundancy to Improve Protein Docking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 721-732, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Bergman, André Augusto Ciré |
Multiobjective Optimization by Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 86-95, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Di Alesio |
Optimal Performance Tuning in Real-Time Systems Using Multi-objective Constrained Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 556-574, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michel Rueher (eds.) |
Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![Springer, 978-3-319-44952-4 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Steven Gay, Renaud Hartert, Pierre Schaus |
Simple and Scalable Time-Table Filtering for the Cumulative Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 149-157, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lars Kotthoff, Mirco Nanni, Riccardo Guidotti, Barry O'Sullivan |
Find Your Way Back: Mobility Profile Mining with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 638-653, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Edward Lam 0001, Pascal Van Hentenryck, Philip Kilby |
Joint Vehicle and Crew Routing and Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 654-670, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Seán Óg Murphy, Oscar Manzano, Kenneth N. Brown |
Design and Evaluation of a Constraint-Based Energy Saving and Scheduling Recommender System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 687-703, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Siala 0002, Christian Artigues, Emmanuel Hebrard |
Two Clause Learning Approaches for Disjunctive Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 393-402, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Bergman, André Augusto Ciré, Willem-Jan van Hoeve |
Improved Constraint Propagation via Lagrangian Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 30-38, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki |
Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 12-29, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck |
Strengthening Convex Relaxations with Bound Tightening for Power Network Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 39-57, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Arbelaez, Deepak Mehta 0001, Barry O'Sullivan |
Constraint-Based Local Search for Finding Node-Disjoint Bounded-Paths in Optical Access Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 499-507, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Renaud Hartert, Pierre Schaus, Stefano Vissicchio, Olivier Bonaventure |
Solving Segment Routing Problems with Hybrid Constraint Programming Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 592-608, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Caroline Even, Andreas Schutt, Pascal Van Hentenryck |
A Constraint Programming Approach for Non-preemptive Evacuation Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 574-591, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kostas Stergiou 0001 |
Restricted Path Consistency Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 419-428, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kreter, Andreas Schutt, Peter J. Stuckey |
Modeling and Solving Project Scheduling with Calendars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 262-278, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, Philippe Jégou, Cyril Terrioux |
A Microstructure-Based Family of Tractable Classes for CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 74-88, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | James Wetter, Özgür Akgün, Ian Miguel |
Automatically Generating Streamlined Constraint Models with Essence and Conjure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 480-496, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Pralet, Solange Lemai-Chenevier, Jean Jaubert |
Scheduling Running Modes of Satellite Instruments Using Constraint-Based Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 704-719, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alban Derrien, Jean-Guillaume Fages, Thierry Petit, Charles Prud'homme |
A Global Constraint for a Tractable Class of Temporal Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 105-120, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte 0001 |
Modeling Universal Instruction Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 609-626, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois |
PREFIX-PROJECTION Global Constraint for Sequential Pattern Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 226-243, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shufeng Kong, Sanjiang Li, Yongming Li 0001, Zhiguo Long |
On Tree-Preserving Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 244-261, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Briot, Christian Bessiere, Philippe Vismara |
A Constraint-Based Approach to the Differential Harvest Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 541-556, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michal Karpinski, Marek Piotrów |
Smaller Selection Networks for Cardinality Constraints Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 210-225, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Simard, Michael Morin, Claude-Guy Quimper, François Laviolette, Josée Desharnais |
Bounding an Optimal Search Path with a Game of Cop and Robber on Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 403-418, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Minh Hoàng Hà, Claude-Guy Quimper, Louis-Martin Rousseau |
General Bounding Mechanism for Constraint Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 158-172, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Igor Razgon |
Quasipolynomial Simulation of DNNF by a Non-determinstic Read-Once Branching Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 367-375, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrés Felipe Barco, Jean-Guillaume Fages, Élise Vareilles, Michel Aldanondo, Paul Gaborit |
Open Packing for Facade-Layout Synthesis Under a General Purpose Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 508-523, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Noël Monette, Pierre Flener, Justin Pearson |
Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 313-329, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, Aymeric Duchein, Guillaume Escamocher |
Broken Triangles Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 58-73, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ciaran McCreesh, Patrick Prosser |
A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 295-312, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack |
MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 376-392, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thi-Bich-Hanh Dao, Khanh-Chuong Duong, Christel Vrain |
Constrained Minimum Sum of Squares Clustering by Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 557-573, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Pesant (eds.) |
Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![Springer, 978-3-319-23218-8 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte 0001 |
Erratum to: Modeling Universal Instruction Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Charlie Vanaret, Jean-Baptiste Gotteland, Nicolas Durand 0002, Jean-Marc Alliot |
Hybridization of Interval CP and Evolutionary Algorithms for Optimizing Difficult Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 446-462, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Saurabh Joshi 0001, Ruben Martins, Vasco M. Manquinho |
Generalized Totalizer Encoding for Pseudo-Boolean Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 200-209, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Steven D. Prestwich, Roberto Rossi 0002, S. Armagan Tarim |
Randomness as a Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 351-366, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Jonsson, Victor Lagerkvist |
Upper and Lower Bounds on the Time Complexity of Infinite-Domain CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 183-199, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Craig Macdonald, Ciaran McCreesh, Alice Miller 0001, Patrick Prosser |
Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 671-686, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Nightingale, Patrick Spracklen, Ian Miguel |
Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 330-340, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Borghesi, Francesca Collina, Michele Lombardi 0001, Michela Milano, Luca Benini |
Power Capping in High Performance Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 524-540, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey |
Encoding Linear Constraints with Implication Chains to CNF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 3-11, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michele Lombardi 0001, Alessio Bonfietti, Michela Milano |
Deterministic Estimation of the Expected Makespan of a POS Under Duration Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 279-294, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter van Beek, Hella-Franziska Hoffmann |
Machine Learning of Bayesian Networks Using Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 429-445, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Kadioglu, Mike Colena, Steven Huberman, Claire Bagley |
Optimizing the Cloud Service Experience Using Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 627-637, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva 0001 |
Smallest MUS Extraction with Minimal Hitting Set Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 173-182, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cyrille Dejemeppe, Sascha Van Cauwelaert, Pierre Schaus |
The Unary Resource with Transition Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 89-104, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh 0001, Tran Cao Son |
Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 121-139, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Wahbi, Younes Mechqrane, Christian Bessiere, Kenneth N. Brown |
A General Framework for Reordering Agents Asynchronously in Distributed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 463-479, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Steven Gay, Renaud Hartert, Christophe Lecoutre, Pierre Schaus |
Conflict Ordering Search for Scheduling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 140-148, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Papadopoulos, François Pachet, Pierre Roy, Jason Sakellariou |
Exact Sampling for Regular and Markov Constraints with Belief Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 341-350, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Prosser |
Teaching Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 3, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thi-Van-Anh Nguyen, Arnaud Lallouet |
A Complete Solver for Constraint Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 58-74, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck |
Constraint-Based Lagrangian Relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 324-339, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb |
Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 813-830, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wen-Yang Ku, Thiago Pinheiro, J. Christopher Beck |
CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 424-439, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Stojadinovic |
Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 886-902, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Wahbi, Kenneth N. Brown |
Global Constraints in Distributed CSP: Concurrent GAC and Explanations in ABT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 721-737, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | André Abramé, Djamal Habet |
Efficient Application of Max-SAT Resolution on Inconsistent Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 92-107, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alban Derrien, Thierry Petit |
A New Characterization of Relevant Intervals for Energetic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 289-297, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Florian Lonsing, Uwe Egly |
Incremental QBF Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 514-530, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jimmy H. M. Lee, Zichen Zhu |
An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 465-480, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Rendl, Guido Tack, Peter J. Stuckey |
Stochastic MiniZinc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 636-645, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emma Rollon, Javier Larrosa |
Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 646-654, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard |
On Backdoors to Tractable Constraint Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 224-239, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Umberto Grandi, Hang Luo 0001, Nicolas Maudet, Francesca Rossi 0001 |
Aggregating CP-nets with Unfeasible Outcomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 366-381, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Wahbi, Kenneth N. Brown |
The Impact of Wireless Communication on Distributed Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 738-754, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lars Otten, Rina Dechter |
Anytime AND/OR Depth-First Search for Combinatorial Optimization - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 933-937, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ronald de Haan, Iyad A. Kanj, Stefan Szeider |
Subexponential Time Complexity of CSP with Global Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 272-288, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí, Josep Suy, Mateu Villaret |
Scheduling B2B Meetings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 781-796, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper |
Beyond Consistency and Substitutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 256-271, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, Christian Bessiere |
Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 755-764, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bartolini, Andrea Borghesi, Thomas Bridi, Michele Lombardi 0001, Michela Milano |
Proactive Workload Dispatching on the EURORA Supercomputer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 765-780, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Berkholz |
The Propagation Depth of Local Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 158-173, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Simon de Givry, Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum |
Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 797-812, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret |
Solving Intensional Weighted CSPs by Incremental Optimization with BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 207-223, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Laura Climent, Richard J. Wallace, Miguel A. Salido, Federico Barber |
Robustness and Stability in Constraint Programming under Dynamism and Uncertainty - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 923-927, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Steven Gay, Pierre Schaus, Vivian De Smedt |
Continuous Casting Scheduling with Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 831-845, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Sabharwal, Horst Samulowitz |
Insights into Parallelism with Intensive Knowledge Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 655-671, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Barry O'Sullivan (eds.) |
Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![Springer, 978-3-319-10427-0 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker |
Optimization Bounds from Binary Decision Diagrams - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 903-907, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Audemard, Christophe Lecoutre, Mouny Samy Modeliar, Gilles Goncalves, Daniel Cosmin Porumbel |
Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 125-141, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale, Peter Nightingale |
Discriminating Instance Generation for Automated Constraint Model Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 356-365, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alban Derrien, Thierry Petit, Stéphane Zampelli |
A Declarative Paradigm for Robust Cumulative Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 298-306, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Fioretto, Tiep Le, William Yeoh 0001, Enrico Pontelli, Tran Cao Son |
Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 307-323, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ignasi Abío, Peter J. Stuckey |
Encoding Linear Constraints into SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 75-91, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | António Morgado 0001, Carmine Dodaro, João Marques-Silva 0001 |
Core-Guided MaxSAT with Soft Cardinality Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 564-573, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel |
Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 590-605, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Van Hentenryck, Laurent D. Michel |
Domain Views for Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 705-720, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura |
Scalable Parallel Numerical CSP Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 398-406, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vinasétan Ratheil Houndji, Pierre Schaus, Laurence A. Wolsey, Yves Deville |
The StockingCost Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 382-397, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vijay A. Saraswat |
Concurrent Constraint Programming Research Programmes - Redux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 6-8, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jasper C. H. Lee, Jimmy H. M. Lee |
Towards Practical Infinite Stream Constraint Programming: Applications and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 449-464, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Louis-Martin Rousseau |
One Problem, Two Structures, Six Solvers, and Ten Years of Personnel Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 4-5, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ciaran McCreesh, Patrick Prosser |
Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 549-563, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ronan Le Bras 0001, Carla P. Gomes, Bart Selman |
On the Erdős Discrepancy Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 440-448, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|