Constraints, Volume 2

Volume 2, Number 1, April 1997

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

Interval Constraints

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

Constraints and Databases

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