On the constructive orbit problem

DOI10.1007/S10472-009-9171-4MaRDI QIDQ976988zbMATH OpenOpenAlexFDO

Authors Alastair Donaldson, Alice 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 reductionorbit problemwreath productcomputational group theory

Mathematics Subject Classification ID

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

Recommendations

• Extending symmetry reduction techniques to a realistic model of computation
• Publication:2764000
• Publication:4551137
• A linear-time algorithm for the orbit problem over cyclic groups
• A linear-time algorithm for the orbit problem over cyclic groups

Cites work

• scientific article; zbMATH DE number 5995471 (Why is no real title available?)
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 1261512 (Why is no real title available?)
• scientific article; zbMATH DE number 729467 (Why is no real title available?)
• scientific article; zbMATH DE number 2133330 (Why is no real title available?)
• scientific article; zbMATH DE number 781164 (Why is no real title available?)
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• FM 2005: Formal Methods
• Finding the smallest image of a set
• Fundamental algorithms for permutation groups
• Myths about the mutual exclusion problem
• Optimization by simulated annealing
• Symmetry Reduction for Probabilistic Model Checking
• Tools and Algorithms for the Construction and Analysis of Systems
• Wreath decompositions of finite permutation groups

Cited in

(8)

• Extending symmetry reduction techniques to a realistic model of computation
• scientific article; zbMATH DE number 7559115 (Why is no real title available?)
• Construction of stable periodic orbits for the spin-orbit problem of celestial mechanics
• A linear-time algorithm for the orbit problem over cyclic groups
• scientific article; zbMATH DE number 1693448 (Why is no real title available?)
• A linear-time algorithm for the orbit problem over cyclic groups
• Computational complexity of computing symmetries in finite-domain planning
• Disjoint direct product decompositions of permutation groups

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q976988)