Constraints, Volume 8

Volume 8, Number 1, January 2003

• Philippe Codognet, Francesca Rossi: Guest Editorial. 5-7
• Pedro Meseguer, Noureddine Bouhmala, Taoufik Bouzoubaa, Morten Irgens, Martí Sánchez: Current Approaches for Solving Over-Constrained Problems. 9-39
• Hiroshi Hosobe, Satoshi Matsuoka: A Foundation of Solution Methods for Constraint Hierarchies. 41-59
• Uzay Kaymak, João Miguel da Costa Sousa: Weighted Constraint Aggregation in Fuzzy Optimization. 61-78
• Stefano Bistarelli, Rosella Gennari, Francesca Rossi: General Properties and Termination Conditions for Soft Constraint Propagation. 79-97

Volume 8, Number 2, April 2003

• Esther Gelle, Boi Faltings: Solving Mixed and Conditional Constraint Satisfaction Problems. 107-141
• Kim Marriott, Peter J. Stuckey, Vincent Tam, Weiqing He: Removing Node Overlapping in Graph Layout Using Constrained Optimization. 143-171
• Warwick Harvey, Peter J. Stuckey: Improving Linear Constraint Propagation by Changing Constraint Representation. 173-207
• Arie de Bruin, Gerard A. P. Kindervater, Tjark Vredeveld, Albert P. M. Wagelmans: Finding a Feasible Solution for a Class of Distributed Problems with a Single Sum Constraint Using Agents. 209-218

Volume 8, Number 3, July 2003

• Rina Dechter:
  Guest Editorial. 227-228
  
• Alan K. Mackworth, Ying Zhang:
  A Formal Approach to Agent Design: An Overview of Constraint-Based Agents. 229-242
  
• Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi:
  Random 3-SAT: The Plot Thickens. 243-261
  
• David A. Cohen, Peter Jeavons, Richard Gault:
  New Tractable Classes From Old. 263-282
  
• Alain Colmerauer, Thi-Bich-Hanh Dao:
  Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees. 283-302
  
• Javier Larrosa, Rina Dechter:
  Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems. 303-326
  

Volume 8, Number 4, October 2003

• Alexander Nareyek, Subbarao Kambhampati:
  Introduction to the Special Issue on Planning: Research Issues at the Intersection of Planning and Constraint Programming. 335-338
  
• Jeremy Frank, Ari K. Jónsson:
  Constraint-Based Attribute and Interval Planning. 339-364
  
• Ioannis Tsamardinos, Thierry Vidal, Martha E. Pollack:
  CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning. 365-388
  
• Alfonso Gerevini, Ivan Serina:
  Planning as Propositional CSP: From Walksat to Local Search Techniques for Action Graphs. 389-413