A Formalization of Anytime Constraint Satisfaction

Hans W. Guesgen. A Formalization of Anytime Constraint Satisfaction. In Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten, editors, First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996. pages 244-252, Springer-Verlag, Singapore, 1996.

Abstract

Abstract is missing.