On the constructive orbit problem-Reference-Cited by-同舟云学术

On the constructive orbit problem

Published:2009-09 Issue:1 Volume:57 Page:1-35
ISSN:1012-2443
Container-title:Annals of Mathematics and Artificial Intelligence
language:en
Short-container-title:Ann Math Artif Intell

Author:

Donaldson Alastair F.,Miller Alice

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Artificial Intelligence

Link

http://link.springer.com/content/pdf/10.1007/s10472-009-9171-4.pdf

Reference37 articles.

1. Alur, R., Henzinger, T.A.: Reactive modules. Form. Methods Syst. Des. 15(1), 7–48 (1999)

2. Bosnacki, D., Dams, D., Holenderski, L.: Symmetric spin. Softw. Tools Technol. Trans. 4(1), 92–106 (2002)

3. Butler, G.: Fundamental algorithms for permutation groups. In: Lecture Notes in Computer Science, vol. 559. Springer, New York (1991)

4. Calder, M., Miller, A.: Generalising feature interactions in email. In: Amyot, D., Logrippo, L. (eds.) Feature Interactions in Telecommunications and Software Systems VII, 11–13 June 2003, Ottawa, Canada, pp. 187–204. IOS, Amsterdam (2003)

5. Cameron, P.: Permutation Groups. Cambridge University Press, Cambridge (1999)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Disjoint direct product decompositions of permutation groups;Journal of Symbolic Computation;2022-01

2. mpsym: Improving Design-Space Exploration of Clustered Manycores with Arbitrary Topologies;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2021

3. Symmetry reduction for time Petri net state classes;Science of Computer Programming;2016-12

4. A linear-time algorithm for the orbit problem over cyclic groups;Acta Informatica;2015-11-19

5. Symmetry reduced state classes for time petri nets;Proceedings of the 30th Annual ACM Symposium on Applied Computing;2015-04-13