Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Xi Yun, Susan L. Epstein |
A Hybrid Paradigm for Adaptive Parallel Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 720-734, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva 0001 |
On Computing Minimal Equivalent Subformulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 158-174, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte 0001 |
Constraint-Based Register Allocation and Instruction Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 750-766, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bessiere, Patricia Gutierrez, Pedro Meseguer |
Including Soft Global Constraints in DCOPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 175-190, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Salvagnin, Toby Walsh |
A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 633-646, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Weiming Liu 0001, Sanjiang Li |
Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 464-479, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Petit |
Focus : A Constraint for Concentrating High Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 577-592, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zhu Zhu, Chu Min Li, Felip Manyà, Josep Argelich |
A New Encoding from MinSAT into MaxSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 455-463, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Castiñeiras, Milan De Cauwer, Barry O'Sullivan |
Weibull-Based Benchmarks for Bin Packing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 207-222, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hanyu Gu, Peter J. Stuckey, Mark G. Wallace 0001 |
Maximising the Net Present Value of Large Resource-Constrained Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 767-781, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Ontañón, Pedro Meseguer |
Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 1004-1012, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii, Christophe Jermann |
A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 867-882, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Pralet, Gérard Verfaillie |
Time-Dependent Simple Temporal Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 608-623, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Helmut Simonis |
A Model Seeker: Extracting Global Constraint Models from Positive Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 141-157, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä |
Classifying and Propagating Parity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 357-372, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Siala 0002, Emmanuel Hebrard, Marie-José Huguet |
An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 55-69, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hadrien Cambazard, Bernard Penz |
A Constraint Programming Approach for the Traveling Purchaser Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 735-749, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Gualandi, Federico Malucelli |
Resource Constrained Shortest Paths with a Super Additive Objective Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 299-315, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matti Järvisalo, Arie Matsliah, Jakob Nordström, Stanislav Zivný |
Relating Proof Complexity Measures and Practical Hardness of SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 316-331, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Granvilliers |
Adaptive Bisection of Numerical CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 290-298, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Miguel F. Anjos |
Optimization Challenges in Smart Grid Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 2-3, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Fagerberg, Christoph Flamm, Daniel Merkle, Philipp Peters |
Exploring Chemistry Using SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 900-915, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Lang, Jérôme Mengin, Lirong Xia |
Aggregating Conditionally Lexicographic Preferences on Multi-issue Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 973-987, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Mehta 0001, Barry O'Sullivan, Helmut Simonis |
Comparing Solution Methods for the Machine Reassignment Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 782-797, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman |
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 798-814, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | João Guerra, Inês Lynce |
Reasoning over Biological Networks Using Maximum Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 941-956, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Distler, Christopher Jefferson, Tom Kelsey, Lars Kotthoff |
The Semigroups of Order 10. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 883-899, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo |
Interactive Algorithm for Multi-Objective Constraint Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 561-576, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kenil C. K. Cheng, Wei Xia, Roland H. C. Yap |
Space-Time Tradeoffs for the Regular Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 223-237, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary |
Propagating Soft Table Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 390-405, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
Solving Temporal Problems Using SMT: Strong Controllability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 248-264, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Siert Wieringa |
Understanding, Improving and Parallelizing MUS Finding Using Model Rotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 672-687, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani |
WCSP Integration of Soft Neighborhood Substitutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 406-421, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis |
Properties of Energy-Price Forecasts for Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 957-972, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kathryn Francis, Sebastian Brand, Peter J. Stuckey |
Optimisation Modelling for Software Developers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 274-289, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Saïd Belaid, Claude Michel, Michel Rueher |
Boosting Local Consistency Algorithms over Floating-Point Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 127-140, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Armant, Laurent Simon, Philippe Dague |
Distributed Tree Decomposition with Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 102-117, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Noël Monette, Pierre Flener, Justin Pearson |
Towards Solver-Independent Propagators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 544-560, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Schaus, Jean-Charles Régin, Rowan Van Schaeren, Wout Dullaert, Birger Raa |
Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 815-822, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ignasi Abío, Peter J. Stuckey |
Conflict Directed Lazy Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 70-85, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Simonin, Christian Artigues, Emmanuel Hebrard, Pierre Lopez |
Scheduling Scientific Experiments on the Rosetta/Philae Mission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 23-37, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
Parallel SAT Solver Selection and Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 512-526, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Vismara, Remi Coletta |
Breaking Variable Symmetry in Almost Injective Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 664-671, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | George Katsirelos, Nina Narodytska, Toby Walsh |
The SeqBin Constraint Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 332-347, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville |
An Optimal Filtering Algorithm for Table Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 496-511, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Chu, Peter J. Stuckey |
Inter-instance Nogood Learning in Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 238-247, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laurent D. Michel, Pascal Van Hentenryck |
Constraint Satisfaction over Bit-Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 527-543, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Chu, Peter J. Stuckey |
A Generic Method for Identifying and Exploiting Dominance Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 6-22, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laurent D. Michel |
Constraint Programming and a Usability Quest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 1, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
Revisiting Neighborhood Inverse Consistency on Binary CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 688-703, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Lallouet, Jimmy Ho-Man Lee, Terrence W. K. Mak |
Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 373-389, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michal Wrona |
Syntactically Characterizing Local-to-Global Consistency in ORD-Horn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 704-719, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Florent R. Madelaine, Barnaby Martin |
Containment, Equivalence and Coreness from CSP to QCSP and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 480-495, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Bonfietti, Michele Lombardi 0001 |
The Weighted Average Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 191-206, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson |
A Scalable Sweep Algorithm for the cumulative Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 439-454, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michela Milano (eds.) |
Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![Springer, 978-3-642-33557-0 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | George Katsirelos, Laurent Simon |
Eigenvector Centrality in Industrial SAT Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 348-356, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alon Grubshtein, Amnon Meisels |
Finding a Nash Equilibrium by Asynchronous Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 925-940, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Allen Van Gelder |
Contributions to the Theory of Practical Quantified Boolean Formula Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 647-663, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 850-866, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emma Rollon, Javier Larrosa |
Improved Bounded Max-Sum for Distributed Constraint Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 624-632, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thiago Serra, Gilberto Nishioka, Fernando J. M. Marcellino |
The Offshore Resources Scheduling Problem: Detailing a Constraint Programming Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 823-839, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Ponsini, Claude Michel, Michel Rueher |
Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 593-607, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Germain, Sébastien Giguère, Jean-Francis Roy, Brice Zirakiza, François Laviolette, Claude-Guy Quimper |
A Pseudo-Boolean Set Covering Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 916-924, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Allen Van Gelder |
Variable Independence and Resolution Paths for Quantified Boolean Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 789-803, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Siddhartha Jain 0001, Pascal Van Hentenryck |
Large Neighborhood Search for Dial-a-Ride Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 400-413, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bartolini, Michele Lombardi 0001, Michela Milano, Luca Benini |
Neuron Constraints to Model Complex Real-World Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 115-129, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Samba Ndojh Ndiaye, Christine Solnon |
CP Models for Maximum Common Subgraph Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 637-644, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Régin |
Solving Problems with CP: Four Common Pitfalls to Avoid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 3-11, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Emma Rollon, Javier Larrosa |
On Mini-Buckets and the Min-fill Elimination Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 759-773, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar 0001, Michael J. Maher |
Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 645-659, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jimmy Ho-Man Lee (eds.) |
Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![Springer, 978-3-642-23785-0 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Jefferson, Karen E. Petrie |
Automatic Generation of Constraints for Partial Symmetry Breaking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 729-743, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David A. Cohen, Martin C. Cooper, Martin James Green, Dániel Marx |
On Guaranteeing Polynomially Bounded Search Tree Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 160-171, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura |
Orchestrating Satisfiability Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 1, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michel P. Lefebvre, Jean-François Puget, Petr Vilím |
Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 42-53, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Helmut Simonis |
A Constraint Seeker: Finding and Ranking Global Constraints from Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 12-26, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Bonfietti, Michele Lombardi 0001, Luca Benini, Michela Milano |
A Constraint Based Approach to Cyclic RCPSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 130-144, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Toshihiro Matsui, Marius Silaghi 0001, Katsutoshi Hirayama, Makoto Yokoo, Boi Faltings, Hiroshi Matsuo |
Reducing the Search Space of Resource Constrained DCOPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 576-590, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Goldsztejn, Christophe Jermann, Vicente Ruiz de Angulo, Carme Torras |
Symmetry Breaking in Numeric Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 317-324, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu, Narendra Jussien |
Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 240-255, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
Boolean Equi-propagation for Optimized SAT Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 621-636, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey |
Half Reification and Flattening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 286-301, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Fages, Xavier Lorca |
Revisiting the tree Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 271-285, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Runming Lu, Sheng Liu, Jian Zhang 0001 |
Searching for Doubly Self-orthogonal Latin Squares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 538-545, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Petit, Jean-Charles Régin, Nicolas Beldiceanu |
A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 721-728, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mikolás Janota, João Marques-Silva 0001 |
On Deciding MUS Membership with QBF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 414-428, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
Algorithm Selection and Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 454-469, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Weiming Liu 0001, Sheng-Sheng Wang 0001, Sanjiang Li, Dayou Liu |
Solving Qualitative Constraints Involving Landmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 523-537, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Verfaillie, Cédric Pralet |
Constraint Programming for Controller Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 100-114, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roger Kameugne, Laure Pauline Fotso, Joseph D. Scott, Youcheu Ngo-Kateu |
A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 478-492, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jessica Davies 0001, Fahiem Bacchus |
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 225-239, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Barnaby Martin, Daniël Paulusma |
The Computational Complexity of Disconnected Cut and 2K 2-Partition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 561-575, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon |
An Efficient Light Solver for Querying the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 145-159, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Kadioglu, Eoin O'Mahony, Philippe Refalo, Meinolf Sellmann |
Incorporating Variance in Impact-Based Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 470-477, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Justin Yip, Pascal Van Hentenryck |
Checking and Filtering Global Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 819-833, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Pralet, Gérard Verfaillie |
Beyond QCSP for Solving Control Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 744-758, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
Grid-Based SAT Solving with Iterative Partitioning and Clause Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 385-399, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, Stanislav Zivný |
Tractable Triangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 195-209, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Serge Gaspers, Stefan Szeider |
The Parameterized Complexity of Local Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 302-316, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|