Papers

Bibtex:

@inproceedings{DonaldsonMC_SymCon2004,
   title      = {Comparing the Use of Symmetry in Constraint Processing
                 and Model Checking},
   author     = {Alastair F. Donaldson and Alice Miller and Muffy
                 Calder},
   booktitle  = {Proceedings of the 4th International Workshop
                 on Symmetry and Constraint Satisfaction Problems
                 (SymCon'04)},
   pages      = {18-25},
   year       = {2004}
}