Constraints, Volume 2

Volume 2, Number 1, April 1997

• Vijay A. Saraswat, Pascal Van Hentenryck:
  Introduction to the Special Issue. 5-6
  
• Pascal Van Hentenryck, Vijay A. Saraswat:
  Constraint Programming: Strategic Directions. 7-33
  
• Alexander Brodsky:
  Constraint Databases: Promising Technology or Just Intellectual Exercise? 35-44
  
• Philippe Codognet:
  The Virtuality of Constraints and the Constraints of Virtuality. 45-49
  
• Rina Dechter:
  Bucket Elimination: a Unifying Framework for Processing Hard and Soft Constraints. 51-55
  
• Eugene C. Freuder:
  In Pursuit of the Holy Grail. 57-61
  
• Manuel V. Hermenegildo:
  Some Challenges for Constraint Programming. 63-69
  
• Joxan Jaffar, Roland H. C. Yap:
  Constraint Programming 2000: A Position Paper. 71-73
  
• Simon Kasif:
  Towards a Constraint-Based Engineering Framework for Algorithm Design and Application. 75-82
  
• Alan K. Mackworth:
  Constraint-Based Design of Embedded Intelligent Systems. 83-86
  
• Ugo Montanari, Francesca Rossi:
  Constraint Solving and Programming: What Next? 87-91
  
• Raghu Ramakrishnan:
  Constraints in Databases. 93-94
  
• Vijay A. Saraswat:
  Compositional Computing. 95-97
  
• Pascal Van Hentenryck:
  Constraint Programming for Combinatorial Search Problems. 99-101
  

Volume 2, Number 2, October 1997

• Frédéric Benhamou, Pascal Van Hentenryck:
  Introduction to the Special Issue on Interval Constraints. 107-112
  
• William J. Older:
  Involution Narrowing Algebra. 113-130
  
• John G. Cleary:
  Constructive Negation of Arithmetic Constraints Using Dataflow Graphs. 131-162
  
• Maarten H. van Emden:
  Value Constraints in the CLP Scheme. 163-183
  
• Jianyang Zhou:
  A Permutation-Based Approach for Solving the Job-Shop Problem. 185-213
  
• Shikharesh Majumdar:
  Application of Relational Interval Arithmetic to Computer Performance Analysis: a Survey. 215-235
  

Volume 2, Number 3/4, 1997

• Raghu Ramakrishnan, Peter J. Stuckey:
  Introduction to the Special Issue on Constraints and Databases. 243
  
• Alexander Brodsky, Victor E. Segal, Jia Chen, Pavel A. Exarkhopoulo:
  The CCUBE Constraint Object-Oriented Database System. 245-277
  
• Alexander Brodsky, Joxan Jaffar, Michael J. Maher:
  Toward Practical Query Evaluation for Constraint Databases. 279-304
  
• Laurent Fribourg, Hans Olsén:
  A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-Counters. 305-335
  
• David Toman:
  Memoing Evaluation for Constraint Extensions of Datalog. 337-359
  
• Peter Z. Revesz:
  Refining Restriction Enzyme Genome Maps. 361-375
  
• Nam Huyn:
  Maintaining Global Integrity Constraints in Distributed Databases. 377-399
  

Last update Tue Feb 14 04:15:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page