Symmetry reduction of partially symmetric systems

Power, C. and Miller, A. (2009) Symmetry reduction of partially symmetric systems. In: Hustadt, U. (ed.) Proceedings of the Automated Reasoning Workshop 2009: Bridging the Gap between Theory and Practice ARW 2009, Liverpool, UK, 21-22 Sep 2009. University of Liverpool: Liverpool, UK, pp. 25-26.

Full text not currently available from Enlighten.

Publisher's URL:


Previous research into symmetry reduction techniques have shown them to be successful in combatting the state-space explosion problem. We provide a brief overview of a fully automated technique for the application of symmetry reduction to partially symmetric systems.

Item Type:Book Sections
Glasgow Author(s) Enlighten ID:Miller, Professor Alice
Authors: Power, C., and Miller, A.
Subjects:Q Science > QA Mathematics > QA76 Computer software
College/School:College of Science and Engineering > School of Computing Science
Publisher:University of Liverpool

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