# Computational group theory

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2005

2005

- FM
- 2005

We present an automatic technique for the detection of structural symmetry in a model directly from its Promela specificationâ€¦Â (More)

Is this relevant?

2005

2005

- 2005

For many decision problems on a finitely presented group G, we can quickly weed out negative solutions by using much quickerâ€¦Â (More)

Is this relevant?

2004

2004

- AISC
- 2004

Symmetry-breaking in constraint satisfaction problems (CSPs) is a well-established area of AI research which has recentlyâ€¦Â (More)

Is this relevant?

2003

2003

- CP
- 2003

We introduce a novel approach for symmetry breaking by dominance detection (SBDD). The essence of SBDD is to perform â€˜dominanceâ€¦Â (More)

Is this relevant?

Review

1998

Review

1998

- 1998

Computational group theory has a history going back more than 80 years. It is a collaborative e ort of researchers in a wideâ€¦Â (More)

Is this relevant?

1998

1998

- 1998

Group theory, is a record of bonaade research work done during 1993-1998 under my supervision. The research work presented inâ€¦Â (More)

Is this relevant?

1998

1998

- 1998

Thisnotedescrib esrecen tresearc h usingstructural propertiesofflnitegroupstodeviseâ€“cien talgorithms forgroupcomputationâ€¦Â (More)

Is this relevant?

Review

1997

Review

1997

- 1997

C an one rotate only one corner piece in Rubikâ€™s cube? What are the energy levels of the buckyball molecule? Are the graphs onâ€¦Â (More)

Is this relevant?

Review

1991

Review

1991

- Groups And Computation
- 1991

A variety of elementary combinatorial techniques for permutation groups are reviewed. It is shown how to apply these techniquesâ€¦Â (More)

Is this relevant?

Highly Cited

1983

Highly Cited

1983

- 24th Annual Symposium on Foundations of Computerâ€¦
- 1983

We address the graph isomorphism problem and related fundamental complexity problems of computational group theory. The mainâ€¦Â (More)

Is this relevant?