Constraints, Volume 8

Volume 8, Number 1, January 2003

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

Esther Gelle, Boi Faltings: Solving Mixed and Conditional Constraint Satisfaction Problems. 107-141 BibTeX
Kim Marriott, Peter J. Stuckey, Vincent Tam, Weiqing He: Removing Node Overlapping in Graph Layout Using Constrained Optimization. 143-171 BibTeX
Warwick Harvey, Peter J. Stuckey: Improving Linear Constraint Propagation by Changing Constraint Representation. 173-207 BibTeX
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 BibTeX

Special Issue of the Sixth International Conference on Principles and Practice of Constraint Programming

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

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