4. CP 1998:
Pisa,
Italy
Michael J. Maher, Jean-Francois Puget (Eds.):
Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings.
Lecture Notes in Computer Science 1520 Springer 1998, ISBN 3-540-65224-8 BibTeX
@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
Submitted Papers
- Slim Abdennadher, Thom W. Frühwirth:
On Completion of Constraint Handling Rules.
25-39
Electronic Edition (Springer LINK) BibTeX
- Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho:
Error-Correcting Source Code.
40-54
Electronic Edition (Springer LINK) BibTeX
- David-Olivier Azulay, Jean François Pique:
Optimized Q-pivot for Exact Linear Solvers.
55-71
Electronic Edition (Springer LINK) BibTeX
- Rolf Backofen:
Constraint Techniques for Solving the Protein Structure Prediction Problem.
72-86
Electronic Edition (Springer LINK) BibTeX
- Philippe Baptiste, Claude Le Pape, Laurent Péridy:
Global Constraints for Partial CSPs: A Case-Study of Resource and Due Date Constraints.
87-101
Electronic Edition (Springer LINK) BibTeX
- Christian Bliek, Bertrand Neveu, Gilles Trombettoni:
Using Graph Decomposition for Solving Continuous CSPs.
102-116
Electronic Edition (Springer LINK) BibTeX
- Bertrand Cabon, Simon de Givry, Gérard Verfaillie:
Anytime Lower Bounds for Constraint Violation Minimization Problems.
117-131
Electronic Edition (Springer LINK) BibTeX
- Barbara Catania, Alberto Belussi, Elisa Bertino:
Introducing External Functions in Constraint Query Languages.
132-146
Electronic Edition (Springer LINK) BibTeX
- Hélène Collavizza, François Delobel, Michel Rueher:
A Note on Partial Consistencies over Continuous Domains.
147-161
Electronic Edition (Springer LINK) BibTeX
- Yves Deville, Micha Janssen, Pascal Van Hentenryck:
Consistency Techniques in Ordinary Differential Equations.
162-176
Electronic Edition (Springer LINK) BibTeX
- Andreas Fordan, Roland H. C. Yap:
Early Projection in CLP(R).
177-191
Electronic Edition (Springer LINK) BibTeX
- Eugene C. Freuder, Richard J. Wallace:
Suggestion Strategies for Constraint-Based Matchmaker Agents.
192-204
Electronic Edition (Springer LINK) BibTeX
- Yan Georget, Philippe Codognet:
Compiling Semiring-Based Constraints with clp (FD, S).
205-219
Electronic Edition (Springer LINK) BibTeX
- Alfonso Gerevini, Jochen Renz:
Combining Topological and Qualitative Size Constraints for Spatial Reasoning.
220-234
Electronic Edition (Springer LINK) BibTeX
- Warwick Harvey, Peter J. Stuckey:
Constraint Representation for Propagation.
235-249
Electronic Edition (Springer LINK) BibTeX
- Timothy J. Hickey, Maarten H. van Emden, Huan Wu:
A Unified Framework for Interval Constraints and Interval Arithmetic.
250-264
Electronic Edition (Springer LINK) BibTeX
- Ulrich Junker:
Constrained-Based Problem Decomposition for a Key Configuration Problem.
265-279
Electronic Edition (Springer LINK) BibTeX
- R. W. L. Kam, Jimmy Ho-Man Lee:
Fuzzifying the Constraint Hierarchies Framework.
280-294
Electronic Edition (Springer LINK) BibTeX
- Thomas H. Kolbe:
Constraints for Object Recognition in Aerial Images - Handling of Unobserved Features.
295-309
Electronic Edition (Springer LINK) BibTeX
- François Laburthe, Yves Caseau:
SALSA: A Language for Search Algorithms.
310-324
Electronic Edition (Springer LINK) BibTeX
- Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh:
Random Constraint Satisfaction: Theory Meets Practice.
325-339
Electronic Edition (Springer LINK) BibTeX
- Kim Marriott, Sitt Chen Chok, Alan Finlay:
A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications.
340-354
Electronic Edition (Springer LINK) BibTeX
- Peter Z. Revesz:
Safe Datalog Queries with Linear Constraints.
355-369
Electronic Edition (Springer LINK) BibTeX
- E. Thomas Richards, Barry Richards:
Non-systematic Search and Learning: An Empirical Study.
370-384
Electronic Edition (Springer LINK) BibTeX
- Robert Rodosek, Mark Wallace:
A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems.
385-399
Electronic Edition (Springer LINK) BibTeX
- Vincent Schächter:
Linear Concurrent Constraint Programming over Reals.
400-416
Electronic Edition (Springer LINK) BibTeX
- Paul Shaw:
Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems.
417-431
Electronic Edition (Springer LINK) BibTeX
- Gilles Trombettoni:
A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problems.
432-446
Electronic Edition (Springer LINK) BibTeX
- Richard J. Wallace, Eugene C. Freuder:
Stable Solutions for Dynamic Constraint Satisfaction Problems.
447-461
Electronic Edition (Springer LINK) BibTeX
Posters
- Francisco Azevedo, Pedro Barahona:
Generation of Test Patterns for Differential Diagnosis of Digital Circuits.
462
Electronic Edition (Springer LINK) BibTeX
- Nicolas Barnier, Pascal Brisset:
Combine and Conquer: Genetic Algorithm and CP for Optimization.
463
Electronic Edition (Springer LINK) BibTeX
- Alessandro Biso, Francesca Rossi, Alessandro Sperduti:
Some Experiments on Learning Soft Constraints.
464
Electronic Edition (Springer LINK) BibTeX
- Amedeo Cesta, Angelo Oddi, Stephen F. Smith:
Scheduling Multi-capacitated Resources Under Complex Temporal Constraints.
465
Electronic Edition (Springer LINK) BibTeX
- Yves Colombani:
Implementing Global Constraints with Index-Sets and Constraint Templates.
466
Electronic Edition (Springer LINK) BibTeX
- Eric Domenjoud, Claude Kirchner, Jianyang Zhou:
Generating Feasible Schedules for a Pick-Up and Delivery Problem.
467
Electronic Edition (Springer LINK) BibTeX
- Antonio J. Fernández, Patricia M. Hill:
An Impartial Efficiency Comparison of FD Constraint Systems.
468
Electronic Edition (Springer LINK) BibTeX
- Daniel Frost, Rina Dechter:
Optimizing with Constraints: A Case Study in Scheduling Maintenance of Electric Power Units.
469
Electronic Edition (Springer LINK) BibTeX
- Holger H. Hoos, Thomas Stützle:
Some Surprising Regularities in the Behaviour of Stochastic Local Search.
470
Electronic Edition (Springer LINK) BibTeX
- Stephan Pontow:
Modelling CSP Solution Algorithms with Petri Decision Nets.
471
Electronic Edition (Springer LINK) BibTeX
- Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
A Framework for Assertion-Based Debugging in Constraint Logic Programming.
472
Electronic Edition (Springer LINK) BibTeX
- Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz, José J. Ruz:
Parallel Execution Models for Constraint Propagation.
473
Electronic Edition (Springer LINK) BibTeX
- Bernhard Seybold, F. Metzger, G. Ogan, Klaus Simon:
Using Blocks for Constraint Satisfaction.
474
Electronic Edition (Springer LINK) BibTeX
- Armin Wolf:
Adaptive Solving of Equations over Rational Trees.
475
Electronic Edition (Springer LINK) BibTeX
Telecommunication application
Copyright © Sat May 16 23:03:42 2009
by Michael Ley (ley@uni-trier.de)
