Exploiting Structure in CSP-related Problems
Tommy Färnqvist
Linköping studies in science and technology. Dissertations, No. 1496
Linköping studies in science and technology. Dissertations, No. 1496 Linköping University
Department of Computer and Information Science Division for Software and Systems
SE-581 83 Linköping, Sweden