The SCEAS System
Navigation Menu

Conferences in DBLP

Principles and Practice of Constraint Programming (CP) (cp)
2006 (conf/cp/2006)

  1. Shabbir Ahmed
    Global Optimization of Probabilistically Constrained Linear Programs. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:1- [Conf]
  2. Fabrizio Grandoni, Giuseppe F. Italiano
    Algorithms and Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:2-14 [Conf]
  3. Jean-Pierre Merlet
    Interval Analysis and Robotics. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:15- [Conf]
  4. Helmut Simonis
    Constraint Based Resilience Analysis. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:16-28 [Conf]
  5. Krzysztof R. Apt, Sebastian Brand
    Infinite Qualitative Simulations by Means of Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:29-43 [Conf]
  6. Thanasis Balafoutis, Kostas Stergiou
    Algorithms for Stochastic CSPs. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:44-58 [Conf]
  7. Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit
    Graph Properties Based Filtering. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:59-74 [Conf]
  8. Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
    The ROOTS Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:75-90 [Conf]
  9. Alexander Brodsky, Hadon Nash
    CoJava: Optimization Modeling by Nondeterministic Simulation. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:91-106 [Conf]
  10. David A. Cohen, Martin C. Cooper, Peter Jeavons
    An Algebraic Characterisation of Complexity for Valued Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:107-121 [Conf]
  11. David A. Cohen, Martin J. Green
    Typed Guarded Decompositions for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:122-136 [Conf]
  12. Yannis Dimopoulos, Kostas Stergiou
    Propagation in CSP and SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:137-151 [Conf]
  13. Grégoire Dooms, Irit Katriel
    The Minimum Spanning Tree Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:152-166 [Conf]
  14. Matteo Gagliolo, Jürgen Schmidhuber
    Impact of Censored Sampling on the Performance of Restart Strategies. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:167-181 [Conf]
  15. Ian P. Gent, Christopher Jefferson, Ian Miguel
    Watched Literals for Constraint Propagation in Minion. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:182-197 [Conf]
  16. Alexandre Goldsztejn, Luc Jaulin
    Inner and Outer Approximations of Existentially Quantified Equality Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:198-212 [Conf]
  17. Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown
    Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:213-228 [Conf]
  18. Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham
    Adaptive Clause Weight Redistribution. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:229-243 [Conf]
  19. Luc Jaulin
    Localization of an Underwater Robot Using Interval Constraint Propagation. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:244-255 [Conf]
  20. Peter Jonsson, Fredrik Kuivinen, Gustav Nordh
    Approximability of Integer Programming with Generalised Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:256-270 [Conf]
  21. Mohand Ou Idir Khemmoudj, Marc Porcheron, Hachemi Bennaceur
    When Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power Plant Outages. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:271-283 [Conf]
  22. Christophe Lecoutre, Radoslaw Szymanek
    Generalized Arc Consistency for Positive Table Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:284-298 [Conf]
  23. Michele Lombardi, Michela Milano
    Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:299-313 [Conf]
  24. Santiago Macho González, Carlos Ansótegui, Pedro Meseguer
    Boosting Open CSPs. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:314-328 [Conf]
  25. Robert Mateescu, Rina Dechter
    Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs). [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:329-343 [Conf]
  26. Laurent Michel, Andrew See, Pascal Van Hentenryck
    Distributed Constraint-Based Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:344-358 [Conf]
  27. Laurent Michel, Andrew See, Pascal Van Hentenryck
    High-Level Nondeterministic Abstractions in. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:359-374 [Conf]
  28. Paul Morris
    A Structural Characterization of Temporal Dynamic Controllability. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:375-389 [Conf]
  29. Bertrand Neveu, Gilles Chabert, Gilles Trombettoni
    When Interval Analysis Helps Inter-block Backtracking. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:390-405 [Conf]
  30. Lars Otten, Mattias Grönkvist, Devdatt P. Dubhashi
    Randomization in Constraint Programming for Airline Planning. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:406-420 [Conf]
  31. Duc Nghia Pham, John Thornton, Abdul Sattar
    Towards an Efficient SAT Encoding for Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:421-436 [Conf]
  32. Cédric Pralet, Thomas Schiex, Gérard Verfaillie
    Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:437-452 [Conf]
  33. Jean-François Puget
    Dynamic Lex Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:453-467 [Conf]
  34. Yossi Richter, Ari Freund, Yehuda Naveh
    Generalizing AllDifferent: The SomeDifferent Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:468-483 [Conf]
  35. Emma Rollon, Javier Larrosa
    Mini-bucket Elimination with Bucket Propagation. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:484-498 [Conf]
  36. Marko Samer, Stefan Szeider
    Constraint Satisfaction with Bounded Treewidth Revisited. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:499-513 [Conf]
  37. Horst Samulowitz, Jessica Davies, Fahiem Bacchus
    Preprocessing QBF. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:514-529 [Conf]
  38. Meinolf Sellmann
    The Theory of Grammar Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:530-544 [Conf]
  39. Barbara M. Smith
    Constraint Programming Models for Graceful Graphs. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:545-559 [Conf]
  40. Matthew J. Streeter, Stephen F. Smith
    A Simple Distribution-Free Approach to the Max k-Armed Bandit Problem. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:560-574 [Conf]
  41. Guido Tack, Christian Schulte, Gert Smolka
    Generating Propagators for Finite Set Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:575-589 [Conf]
  42. Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara
    Compiling Finite Linear CSP into SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:590-603 [Conf]
  43. Pascal Van Hentenryck, Laurent Michel
    Differentiable Invariants. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:604-619 [Conf]
  44. Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal
    Revisiting the Sequence Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:620-634 [Conf]
  45. Guillaume Verger, Christian Bessière
    : A Bottom-Up Approach for Solving Quantified CSPs. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:635-649 [Conf]
  46. Toby Walsh
    General Symmetry Breaking Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:650-664 [Conf]
  47. Magnus Ågren, Pierre Flener, Justin Pearson
    Inferring Variable Conflicts for Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:665-669 [Conf]
  48. Belaid Benhamou, Mohamed Réda Saïdi
    Reasoning by Dominance in Not-Equals Binary Constraint Networks. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:670-674 [Conf]
  49. Ismel Brito, Pedro Meseguer
    Distributed Stable Matching Problems with Ties and Incomplete Lists. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:675-679 [Conf]
  50. Martin C. Cooper, Sylvain Cussat-Blanc, Marie de Roquemaurel, Pierre Régnier
    Soft Arc Consistency Applied to Optimal Planning. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:680-684 [Conf]
  51. Iván Dotú, Pascal Van Hentenryck
    A Note on Low Autocorrelation Binary Sequences. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:685-689 [Conf]
  52. Alex Ferguson, Barry O'Sullivan
    Relaxations and Explanations for Quantified Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:690-694 [Conf]
  53. Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck
    Static and Dynamic Structural Symmetry Breaking. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:695-699 [Conf]
  54. Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace
    The Modelling Language Zinc. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:700-705 [Conf]
  55. Latife Genç Kaya, John N. Hooker
    A Filter for the Circuit Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:706-710 [Conf]
  56. Vibhav Gogate, Rina Dechter
    A New Algorithm for Sampling CSP Solutions Uniformly at Random. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:711-715 [Conf]
  57. Jean-Philippe Hamiez, Jin-Kao Hao
    Sports League Scheduling: Enumerative Search for Prob026 from CSPLib. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:716-720 [Conf]
  58. Daniel S. Heller, Meinolf Sellmann
    Dynamic Symmetry Breaking Restarted. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:721-725 [Conf]
  59. Chris Houghton, David A. Cohen, Martin J. Green
    The Effect of Constraint Representation on Structural Tractability. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:726-730 [Conf]
  60. Tudor Hulubei, Barry O'Sullivan
    Failure Analysis in Backtrack Search for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:731-735 [Conf]
  61. Tudor Hulubei, Barry O'Sullivan
    Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:736-740 [Conf]
  62. Philippe Jégou, Samba Ndiaye, Cyril Terrioux
    An Extension of Complexity Bounds and Dynamic Heuristics for Tree-Decompositions of CSP. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:741-745 [Conf]
  63. Mohand Ou Idir Khemmoudj, Hachemi Bennaceur
    Clique Inference Process for Solving Max-CSP. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:746-750 [Conf]
  64. Claude-Guy Quimper, Toby Walsh
    Global Grammar Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:751-755 [Conf]
  65. Evan Sultanik, Pragnesh Jay Modi, William C. Regli
    Constraint Propagation for Domain Bounding in Distributed Task Scheduling. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:756-760 [Conf]
  66. Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen
    Interactive Distributed Configuration. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:761-765 [Conf]
  67. Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisels
    Retroactive Ordering for Dynamic Backtracking. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:766-771 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002