Jean-Francois Puget. On the Satisfiability of Symmetrical Constrained Satisfaction Problems. In Henryk Jan Komorowski, Zbigniew W. Ras, editors, Methodologies for Intelligent Systems, 7th International Symposium, ISMIS 93, Trondheim, Norway, June 15-18, 1993, Proceedings. Volume 689 of Lecture Notes in Computer Science, pages 350-361, Springer, 1993.
Abstract is missing.