On the constructive orbit problem

DOI10.1007/S10472-009-9171-4zbMATH Open1205.68220OpenAlexW2015918917MaRDI QIDQ976988FDOQ976988

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

Recommendations

• Extending symmetry reduction techniques to a realistic model of computation
• scientific article; zbMATH DE number 1693448
• scientific article; zbMATH DE number 1796126
• A linear-time algorithm for the orbit problem over cyclic groups
• A linear-time algorithm for the orbit problem over cyclic groups

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)

Cites Work

• Optimization by simulated annealing
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Myths about the mutual exclusion problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symmetry Reduction for Probabilistic Model Checking
• Title not available (Why is that?)
• Fundamental algorithms for permutation groups
• Tools and Algorithms for the Construction and Analysis of Systems
• FM 2005: Formal Methods
• Wreath decompositions of finite permutation groups
• Finding the smallest image of a set

Cited In (7)

• Extending symmetry reduction techniques to a realistic model of computation
• A linear-time algorithm for the orbit problem over cyclic groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• A linear-time algorithm for the orbit problem over cyclic groups
• Disjoint direct product decompositions of permutation groups
• Construction of stable periodic orbits for the spin-orbit problem of celestial mechanics

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)