On the constructive orbit problem

DOI10.1007/s10472-009-9171-4zbMath1205.68220OpenAlexW2015918917MaRDI QIDQ976988

Alastair F. Donaldson, Alice Ann Miller

Publication date: 16 June 2010

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-009-9171-4

zbMATH Keywords

model checkingsymmetry reductionwreath productorbit problemcomputational group theory

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Finite automorphism groups of algebraic, geometric, or combinatorial structures (20B25) Specification and verification (program logics, model checking, etc.) (68Q60) Extensions, wreath products, and other compositions of groups (20E22) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A linear-time algorithm for the orbit problem over cyclic groups ⋮ Disjoint direct product decompositions of permutation groups

Uses Software

• GAP
• TopSpin
• SPIN
• Spin-to-Grape
• SymmSpin

Cites Work

• Optimization by Simulated Annealing
• Myths about the mutual exclusion problem
• Fundamental algorithms for permutation groups
• Finding the smallest image of a set
• Wreath decompositions of finite permutation groups
• Tools and Algorithms for the Construction and Analysis of Systems
• FM 2005: Formal Methods
• Symmetry Reduction for Probabilistic Model Checking
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the constructive orbit problem