Abstract is missing.
- Complete Solving of Linear Diophantine Equations and Inequations without Adding VariablesFarid Ajili, Evelyne Contejean. 1-17
- From Elliott-MacMahon to an Algorithm for General Linear Constraints on NaturalsEric Domenjoud, Ana Paula Tomás. 18-35
- The Progressive Party Problem: Integer Linear Programming and Constraint Programming ComparedBarbara M. Smith, Sally C. Brailsford, Peter M. Hubbard, H. Paul Williams. 36-52
- From Local to Global Consistency in Temporal Constraint NetworksManolis Koubarakis. 53-69
- Scaling Effects in the CSP Phase TransitionIan P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh. 70-87
- Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction ProblemsMakoto Yokoo. 88-102
- Optimization-based Heuristics for Maximal Constraint SatisfactionJavier Larrosa, Pedro Meseguer. 103-120
- First-order Definability over Constraint DatabasesStéphane Grumbach, Jianwen Su. 121-136
- On Similarity Queries for Time-Series Data: Constraint Specification and ImplementationDina Q. Goldin, Paris C. Kanellakis. 137-153
- Safe Stratified Datalog with Integer Order ProgramsPeter Z. Revesz. 154-169
- Constrained DependenciesMichael J. Maher. 170-185
- Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval ArithmeticPierre Girodias, Eduard Cerny, William J. Older. 186-203
- Debugging Constraint ProgramsMicha Meier. 204-221
- An Optimizing Compiler for CLP(R)Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap. 222-239
- Local and Global Relational ConsistencyRina Dechter, Peter van Beek. 240-257
- Dynamic Variable Ordering in CSPsFahiem Bacchus, Paul van Run. 258-275
- A Unifying Framework for Tractable ConstraintsPeter Jeavons, David A. Cohen, Marc Gyssens. 276-291
- On the Forward Checking AlgorithmFahiem Bacchus, Adam J. Grove. 292-308
- A Confluent Calculus for Concurrent Constraint Programming with Guarded ChoiceKim Marriott, Martin Odersky. 310-327
- Situated SimplificationAndreas Podelski, Gert Smolka. 328-344
- Guarded Constructive Disjunction: Angel or Demon?Christian Codognet, Philippe Codognet. 345-361
- Domain Independent Ask Approximation in CCPEnea Zaffanella. 362-379
- On the Combination of Symbolic Constraints, Solution Domains, and Constraint SolversFranz Baader, Klaus U. Schulz. 380-397
- Constraint Propagation in Model GenerationJian Zhang, Hantao Zhang. 398-414
- Normalizing Narrowing for Weakly Terminating and Confluent SystemsAndreas Werner. 415-430
- On Termination of Constraint Logic ProgramsLivio Colussi, Elena Marchiori, Massimo Marchiori. 431-448
- Modelling Producer/Consumer ConstraintsHelmut Simonis, Trijntje Cornelissens. 449-462
- A Constraint-Based Approach to Diagnosing Software Problems in Computer NetworksDaniel Sabin, Mihaela Sabin, Robert D. Russell, Eugene C. Freuder. 463-480
- Solving Crew Scheduling Problems bu Constraint ProgrammingNabil Guerinik, Michel Van Caneghem. 481-498
- A Visual Constraint-Programming EnvironmentMassimo Paltrinieri. 499-514
- Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam s Procedure?Antoine Rauzy. 515-532
- Improved Branch and Bound in Constraint Logic ProgrammingSteven David Prestwich, Shyam Mudambi. 533-548
- Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop SchedulingHans-Joachim Goltz. 549-562
- What Is Symbolic Computation?Bruno Buchberger. 563
- Constraint Solving for Combinatorial Search Problems: A TutorialPascal Van Hentenryck. 564-587
- The Concurrent Constraint Programming Research ProgrammesVijay A. Saraswat. 588
- Automatic Generation of Invariants and AssertionsNikolaj Bjørner, Anca Browne, Zohar Manna. 589-623
- The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User InterfacesAlan Borning, Bjørn N. Freeman-Benson. 624-628
- Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model CompilationMarkus P. J. Fromherz, Vijay A. Saraswat. 629-635
- CLP in ECRCMicha Meier, Alexander Herold. 636-639
- Constraint Programming and Industrial ApplicationsTouraïvane. 640-642
- The CHIP System and Its ApplicationsHelmut Simonis. 643-646
- Applications of Constraint ProgrammingJean-Francois Puget. 647-650