Comparing the use of symmetry in constraint processing and model checking

Donaldson, A., Miller, A. and Calder, M. (2004) Comparing the use of symmetry in constraint processing and model checking. In: 4th International Workshop on Symmetry and Constraint Satisfaction Problems, Toronto, Ontario, Canada, 27 Sep 2004, pp. 18-25.

Full text not currently available from Enlighten.


Item Type:Conference Proceedings
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Miller, Dr Alice and Calder, Professor Muffy
Authors: Donaldson, A., Miller, A., and Calder, M.
College/School:College of Science and Engineering > School of Computing Science

University Staff: Request a correction | Enlighten Editors: Update this record