Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th CP 1998: Pisa, Italy
- Michael J. Maher, Jean-Francois Puget:
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
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-Pérez, José J. Ruz:
Parallel Execution Models for Constraint Propagation. 473 - Bernhard Seybold, Felix J. 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 20:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
