Constraint Satisfaction, Complexity, and Logic

Phokion G. Kolaitis. Constraint Satisfaction, Complexity, and Logic. In George A. Vouros, Themis Panayiotopoulos, editors, Methods and Applications of Artificial Intelligence, Third Helenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004, Proceedings. Volume 3025 of Lecture Notes in Computer Science, pages 1-2, Springer, 2004. [doi]

Abstract

Abstract is missing.