Invited Papers

• 
  Joxan Jaffar, Roland H. C. Yap: Open Constraint Programming. 1
• 
  Peter Jeavons: Constructing Constraints. 2-16
• 
  Patrick Prosser: The Dynamics of Dynamic Variable Ordering Heuristics. 17-23

Submitted Papers

• 
  Slim Abdennadher, Thom W. Frühwirth: On Completion of Constraint Handling Rules. 25-39
• 
  Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho: Error-Correcting Source Code. 40-54
• 
  David-Olivier Azulay, Jean François Pique: Optimized Q-pivot for Exact Linear Solvers. 55-71
• 
  Rolf Backofen: Constraint Techniques for Solving the Protein Structure Prediction Problem. 72-86
• 
  Philippe Baptiste, Claude Le Pape, Laurent Péridy: Global Constraints for Partial CSPs: A Case-Study of Resource and Due Date Constraints. 87-101
• 
  Christian Bliek, Bertrand Neveu, Gilles Trombettoni: Using Graph Decomposition for Solving Continuous CSPs. 102-116
• 
  Bertrand Cabon, Simon de Givry, Gérard Verfaillie: Anytime Lower Bounds for Constraint Violation Minimization Problems. 117-131
• 
  Barbara Catania, Alberto Belussi, Elisa Bertino: Introducing External Functions in Constraint Query Languages. 132-146
• 
  Hélène Collavizza, François Delobel, Michel Rueher: A Note on Partial Consistencies over Continuous Domains. 147-161
• 
  Yves Deville, Micha Janssen, Pascal Van Hentenryck: Consistency Techniques in Ordinary Differential Equations. 162-176
• 
  Andreas Fordan, Roland H. C. Yap: Early Projection in CLP(R). 177-191
• 
  Eugene C. Freuder, Richard J. Wallace: Suggestion Strategies for Constraint-Based Matchmaker Agents. 192-204
• 
  Yan Georget, Philippe Codognet: Compiling Semiring-Based Constraints with clp (FD, S). 205-219
• 
  Alfonso Gerevini, Jochen Renz: Combining Topological and Qualitative Size Constraints for Spatial Reasoning. 220-234
• 
  Warwick Harvey, Peter J. Stuckey: Constraint Representation for Propagation. 235-249
• 
  Timothy J. Hickey, Maarten H. van Emden, Huan Wu: A Unified Framework for Interval Constraints and Interval Arithmetic. 250-264
• 
  Ulrich Junker: Constrained-Based Problem Decomposition for a Key Configuration Problem. 265-279
• 
  R. W. L. Kam, Jimmy Ho-Man Lee: Fuzzifying the Constraint Hierarchies Framework. 280-294
• 
  Thomas H. Kolbe: Constraints for Object Recognition in Aerial Images - Handling of Unobserved Features. 295-309
• 
  François Laburthe, Yves Caseau: SALSA: A Language for Search Algorithms. 310-324
• 
  Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh: Random Constraint Satisfaction: Theory Meets Practice. 325-339
• 
  Kim Marriott, Sitt Chen Chok, Alan Finlay: A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications. 340-354
• 
  Peter Z. Revesz: Safe Datalog Queries with Linear Constraints. 355-369
• 
  E. Thomas Richards, Barry Richards: Non-systematic Search and Learning: An Empirical Study. 370-384
• 
  Robert Rodosek, Mark Wallace: A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems. 385-399
• 
  Vincent Schächter: Linear Concurrent Constraint Programming over Reals. 400-416
• 
  Paul Shaw: Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems. 417-431
• 
  Gilles Trombettoni: A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problems. 432-446
• 
  Richard J. Wallace, Eugene C. Freuder: Stable Solutions for Dynamic Constraint Satisfaction Problems. 447-461

Posters

• 
  Francisco Azevedo, Pedro Barahona: Generation of Test Patterns for Differential Diagnosis of Digital Circuits. 462
• 
  Nicolas Barnier, Pascal Brisset: Combine and Conquer: Genetic Algorithm and CP for Optimization. 463
• 
  Alessandro Biso, Francesca Rossi, Alessandro Sperduti: Some Experiments on Learning Soft Constraints. 464
• 
  Amedeo Cesta, Angelo Oddi, Stephen F. Smith: Scheduling Multi-capacitated Resources Under Complex Temporal Constraints. 465
• 
  Yves Colombani: Implementing Global Constraints with Index-Sets and Constraint Templates. 466
• 
  Eric Domenjoud, Claude Kirchner, Jianyang Zhou: Generating Feasible Schedules for a Pick-Up and Delivery Problem. 467
• 
  Antonio J. Fernández, Patricia M. Hill: An Impartial Efficiency Comparison of FD Constraint Systems. 468
• 
  Daniel Frost, Rina Dechter: Optimizing with Constraints: A Case Study in Scheduling Maintenance of Electric Power Units. 469
• 
  Holger H. Hoos, Thomas Stützle: Some Surprising Regularities in the Behaviour of Stochastic Local Search. 470
• 
  Stephan Pontow: Modelling CSP Solution Algorithms with Petri Decision Nets. 471
• 
  Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: A Framework for Assertion-Based Debugging in Constraint Logic Programming. 472
• 
  Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz, José J. Ruz: Parallel Execution Models for Constraint Propagation. 473
• 
  Bernhard Seybold, F. Metzger, G. Ogan, Klaus Simon: Using Blocks for Constraint Satisfaction. 474
• 
  Armin Wolf: Adaptive Solving of Equations over Rational Trees. 475

Telecommunication application

• 
  Thom W. Frühwirth, Pascal Brisset: Optimal Placement of Base Stations in Wireless Indoor Telecommunication. 476-480

last updated on Sat May 18 04:47:48 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page