Application of Subdefinite Models for Solving Constraint Satisfaction Problems

Tatyana M. Yakhno, Evgueni S. Petrov. Application of Subdefinite Models for Solving Constraint Satisfaction Problems. In Dines Bjørner, Manfred Broy, Igor V. Pottosin, editors, Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings. Volume 1181 of Lecture Notes in Computer Science, pages 80-90, Springer, 1996.

Abstract

Abstract is missing.