On the constructive orbit problem
type: Item
instance of: scholarly article
title: On the constructive orbit problem
zbMATH Open document ID: 1205.68220
author: Alastair Donaldson
author: Alice Miller
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2010-06-16T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68U07
Mathematics Subject Classification ID: 20B25
Mathematics Subject Classification ID: 20E22
zbMATH DE Number: 5721641
zbMATH Keywords: symmetry reduction
zbMATH Keywords: model checking
zbMATH Keywords: orbit problem
zbMATH Keywords: computational group theory
zbMATH Keywords: wreath product
describes a project that uses: SPIN
describes a project that uses: Spin-to-Grape
describes a project that uses: GAP
describes a project that uses: TopSpin
describes a project that uses: SymmSpin
MaRDI profile type: Publication
full work available at URL: s10472-009-9171-4
OpenAlex ID: W2015918917
cites work: Fundamental algorithms for permutation groups
cites work: Q4231664
cites work: FM 2005: Formal Methods
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Q3105730
cites work: Q4650358
cites work: Optimization by Simulated Annealing
cites work: Wreath decompositions of finite permutation groups
cites work: Symmetry Reduction for Probabilistic Model Checking
cites work: Finding the smallest image of a set
cites work: Q3141897
cites work: Q4840945
cites work: Myths about the mutual exclusion problem
cites work: Q4324962
cites work: Q4843187
DOI: 10.1007/S10472-009-9171-4
description: scientific article; zbMATH DE number 5721641