The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Fahiem Bacchus
    Caching in Backtracking Search. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:1- [Conf]
  2. Matthew L. Ginsberg
    Of Mousetraps and Men: A Cautionary Tale. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:2- [Conf]
  3. Grégory Beaumet, Gérard Verfaillie, Marie-Claire Charmeau
    Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:3-17 [Conf]
  4. Raphaël Chenouard, Patrick Sébastian, Laurent Granvilliers
    Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:18-32 [Conf]
  5. Chiu Wo Choi, Jimmy Ho-Man Lee
    Solving the Salinity Control Problem in a Potable Water System. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:33-48 [Conf]
  6. Hélène Collavizza, Michel Rueher
    Exploring Different Constraint-Based Modelings for Program Verification. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:49-63 [Conf]
  7. Andrew J. Davenport, Jayant Kalagnanam, Chandra Reddy, Stuart Siegel, John Hou
    An Application of Constraint Programming to Generating Detailed Operations Schedules for Steel Manufacturing. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:64-76 [Conf]
  8. Antoine Gargani, Philippe Refalo
    An Efficient Model and Strategy for the Steel Mill Slab Design Problem. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:77-89 [Conf]
  9. Rosella Gennari, Ornella Mich
    Constraint-Based Temporal Reasoning for E-Learning with LODE. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:90-104 [Conf]
  10. Roman van der Krogt, James Little, Kenneth Pulliam, Sue Hanhilammi, Yue Jin
    Scheduling for Cellular Manufacturing. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:105-117 [Conf]
  11. Henrik Reif Andersen, Tarik Hadzic, J. N. Hooker, Peter Tiedemann
    A Constraint Store Based on Multivalued Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:118-132 [Conf]
  12. Fahiem Bacchus
    GAC Via Unit Propagation. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:133-147 [Conf]
  13. Fahiem Bacchus, Kostas Stergiou
    Solution Directed Backjumping for QCSP. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:148-163 [Conf]
  14. Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock
    Reformulating CSPs for Scalability with Application to Geospatial Reasoning. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:164-179 [Conf]
  15. Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet
    A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:180-194 [Conf]
  16. Belaid Benhamou, Mohamed Réda Saïdi
    Local Symmetry Breaking During Search in CSPs. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:195-209 [Conf]
  17. Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh
    Encodings of the Sequence Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:210-224 [Conf]
  18. Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li
    On Inconsistent Clause-Subsets for Max-SAT Solving. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:225-240 [Conf]
  19. Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
    An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:241-255 [Conf]
  20. Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal
    Tradeoffs in the Complexity of Backdoor Detection. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:256-270 [Conf]
  21. Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel
    Model-Driven Visualizations of Constraint-Based Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:271-285 [Conf]
  22. Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable
    Dealing with Incomplete Preferences in Soft Constraint Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:286-300 [Conf]
  23. Alfonso Gerevini, Alessandro Saetti
    Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:301-316 [Conf]
  24. Éric Grégoire, Bertrand Mazure, Cédric Piette
    MUST: Provide a Finer-Grained Explanation of Unsatisfiability. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:317-331 [Conf]
  25. Steven Halim, Roland H. C. Yap, Hoong Chuin Lau
    An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:332-347 [Conf]
  26. Matti Järvisalo, Tommi A. Junttila
    Limitations of Restricted Branching in Clause Learning. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:348-363 [Conf]
  27. Philippe Jégou, Samba Ndiaye, Cyril Terrioux
    Dynamic Management of Heuristics for Solving Structured CSPs. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:364-378 [Conf]
  28. George Katsirelos, Toby Walsh
    A Compression Algorithm for Large Arity Extensional Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:379-393 [Conf]
  29. Mohand Ou Idir Khemmoudj, Hachemi Bennaceur
    Valid Inequality Based Lower Bounds for WCSP. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:394-408 [Conf]
  30. Mikael Z. Lagerkvist, Christian Schulte
    Advisors for Incremental Propagation. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:409-422 [Conf]
  31. Y. C. Law, J. H. M. Lee, Toby Walsh, J. Y. K. Yip
    Breaking Symmetry of Interchangeable Variables and Values. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:423-437 [Conf]
  32. Christophe Lecoutre, Stéphane Cardon, Julien Vion
    Path Consistency by Dual Consistency. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:438-452 [Conf]
  33. Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
    Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:453-467 [Conf]
  34. Michele Lombardi, Michela Milano
    Scheduling Conditional Task Graphs. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:468-482 [Conf]
  35. João P. Marques Silva, Inês Lynce
    Towards Robust CNF Encodings of Cardinality Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:483-497 [Conf]
  36. Robert Mateescu, Radu Marinescu, Rina Dechter
    AND/OR Multi-valued Decision Diagrams for Constraint Optimization. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:498-513 [Conf]
  37. Laurent Michel, Andrew See, Pascal Van Hentenryck
    Parallelizing Constraint Programs Transparently. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:514-528 [Conf]
  38. Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
    MiniZinc: Towards a Standard CP Modelling Language. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:529-543 [Conf]
  39. Olga Ohrimenko, Peter J. Stuckey, Michael Codish
    Propagation = Lazy Clause Generation. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:544-558 [Conf]
  40. Matthieu Petit, Arnaud Gotlieb
    Boosting Probabilistic Choice Operators. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:559-573 [Conf]
  41. Luca Pulina, Armando Tacchella
    A Multi-engine Solver for Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:574-589 [Conf]
  42. Claude-Guy Quimper, Toby Walsh
    Decomposing Global Grammar Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:590-604 [Conf]
  43. Miquel Ramírez, Hector Geffner
    Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:605-619 [Conf]
  44. Pierre Schaus, Yves Deville, Pierre Dupont
    Bound-Consistent Deviation Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:620-634 [Conf]
  45. Gilles Trombettoni, Gilles Chabert
    Constructive Interval Disjunction. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:635-650 [Conf]
  46. Menkes van den Briel, J. Benton, Subbarao Kambhampati, Thomas Vossen
    An LP-Based Heuristic for Optimal Planning. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:651-665 [Conf]
  47. Nic Wilson, Diarmuid Grimes, Eugene C. Freuder
    A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:666-680 [Conf]
  48. Huayue Wu, Peter van Beek
    On Universal Restart Strategies for Backtracking Search. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:681-695 [Conf]
  49. Lin Xu, Holger H. Hoos, Kevin Leyton-Brown
    Hierarchical Hardness Models for SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:696-711 [Conf]
  50. Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown
    : The Design and Analysis of an Algorithm Portfolio for SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:712-727 [Conf]
  51. Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont
    Filtering for Subgraph Isomorphism. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:728-742 [Conf]
  52. Alessandro Zanarini, Gilles Pesant
    Solution Counting Algorithms for Constraint-Centered Search Heuristics. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:743-757 [Conf]
  53. Roie Zivan, Moshe Zazone, Amnon Meisels
    Min-Domain Ordering for Asynchronous Backtracking. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:758-772 [Conf]
  54. Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna
    Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:773-781 [Conf]
  55. Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable
    Uncertainty in Bipolar Preference Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:782-789 [Conf]
  56. Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi
    An Analysis of Slow Convergence in Interval Propagation. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:790-797 [Conf]
  57. David A. Cohen, Peter Jeavons, Stanislav Zivný
    The Expressive Power of Valued Constraints: Hierarchies and Collapses. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:798-805 [Conf]
  58. Jean-François Condotta, Gérard Ligozat, Mahmoud Saade
    Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:806-814 [Conf]
  59. Marco Gavanelli
    The Log-Support Encoding of CSP into SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:815-822 [Conf]
  60. Ian P. Gent, Tom Kelsey, S. A. Linton, J. Pearson, Colva M. Roney-Dougal
    Groupoids and Conditional Symmetry. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:823-830 [Conf]
  61. Diarmuid Grimes, Richard J. Wallace
    Sampling Strategies and Variable Selection in Weighted Degree Heuristics. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:831-838 [Conf]
  62. Jinbo Huang
    A Case for Simple SAT Solvers. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:839-846 [Conf]
  63. Zeynep Kiziltan, Andrea Lodi, Michela Milano, Fabio Parisini
    CP-Based Local Branching. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:847-855 [Conf]
  64. Bart Peintner, Kristen Brent Venable, Neil Yorke-Smith
    Strong Controllability of Disjunctive Temporal Problems with Uncertainty. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:856-863 [Conf]
  65. Vicente Ruiz de Angulo, Carme Torras
    Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:864-871 [Conf]
  66. Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan
    Constraint Symmetry for the Soft CSP. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:872-879 [Conf]
  67. Toby Walsh
    Breaking Value Symmetry. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:880-887 [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