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: https://www.csc.liv.ac.uk/research/techreports/tr2009/ulcs-09-007.pdf
Abstract
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 |
---|---|
Status: | Published |
Refereed: | Yes |
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