Constraint Processing - Proceedings of the International Workshop at CSAM'93, St.Petersburg, July 20-21, 1993

Manfred Meyer (Hrsg.)

DFKI DFKI Documents (D) 93-14 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.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence