4. CP 1998: Pisa, Italy

@proceedings{DBLP:conf/cp/1998,
  editor    = {Michael J. Maher and
               Jean-Francois Puget},
  title     = {Principles and Practice of Constraint Programming - CP98, 4th
               International Conference, Pisa, Italy, October 26-30, 1998, Proceedings},
  booktitle = {CP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1520},
  year      = {1998},
  isbn      = {3-540-65224-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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