Principles and practice of constraint programming: The Newport papers

Part 1 Concurrency: a concurrent semantics for concurrent constraint programmes via contextual nets, Ugo Montanari and Francesca Rossi object-oriented concurrent constraint programming in Oz, Martin Henz et al. Part 2 Reactive systems: constraint programming in constraint nets, Ying Zhang and Alan K. Mackworth robot programming and constraints, Dinesh K. Pai constraint logic programming - hybrid control, logic as linear programming, Wolf Kohn et al. Part 3 Languages and environments: 2LP - linear programming and logic programming, Ken McAloon and Carol Tretkoff a constraint-based scientific programming language, Richard Zippel designing constraint logic programming langauges using computational systems, Claude Kirchner et al aggregation in constraint databases, Gabriel M. Kuper synthesis on constraint algorithms, Douglas R. Smith and Stephen J Westfold exploiting constraint dependency information for debugging and explanation, Walid T. Keirouz et al constraining the structure and style of object-oriented programmes, Scott Meyers et al. Part 4 Constraint-solving algorithms: an approach for solving systems of parametric polynomial equations, Deepak Kapur Fourier's elimination - which to choose?, Jean-Louis Imbert verifying logic circuits by benders decomposition, J.N. Hooker and H. Yan an incremental hierarchical constraint solver, Francisco Menezes and Pedro Barahona. Part 5 Artificial intelligence: a disjunctive decomposition control schema for constraint satisfaction, Eugene C. Freuder and Paul D. Hubbe local consistency in parallel constraint-satisfaction networks, Simon Kasif and Arthur L. Delcher terminological reasoning with constraint handling rules, Thom Fruhwirth and Philipp Hanschke. Part 6 Computer graphics: the SkyBlue constraint solver with its applications, Michael Sanella practical issues in graphical constraints, Michael Gleicher constraint management in a declarative design method for 3D scene sketch modelling, Stephane Donikian and Gerard Hegron expressing constraints for data display specification - a visual approach, Isabel F. Cruz.