by Manfred Meyer (Ed.)
Constraint Processing -- Proceedings of the International Workshop at CSAM'93, St.Petersburg, July 20-21, 1993
The Workshop on Constraint Processing at CSAM'93 was aimed at exchanging, comparing and contrasting research results in all areas of constraint processing regarded as a general paradigm of computation. Papers have been submitted by authors working on various aspects of constraint processing at different sites in Austria, England, France, Germany, Netherlands, Russia, Slovenia, Switzerland, and the United States. The two-days workshop was held as a seperate track of sessions within the International Congress on Computer Systems and Applied Mathematics (CSAM'93) organized by the Center of Modern Communications of St. Petersburg State University and held at the Educational Center in St. Petersburg, Russia, on July 19-23, 1993.
These proceedings contain extended versions of the invited talk and all papers accepted for presentation at the workshop. They cover a wide range of topics in the area of constraint processing including concurrent constraint languages, constraints and knowledge representation, constraint logic programming, constraint maintenance algorithms, modelling with constraints, constraint-satisfaction techniques, constraints for temporal reasoning, theoretical foundations of constraint networks, implementation techniques, constraints and databases, distributed constraint satisfaction, and applications of constraint processing techniques to space planning problems, exams planning problems, and job scheduling problems.
The next abstract is here, and the previous abstract is here.
Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.