Reduction of group constructions to point stabilizers
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Computing the order of a solvablepermutation group
Journal of Symbolic Computation
A random base change algorithm for permutation groups
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Fast Monte Carlo algorithms for permutation groups
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Local expansion of vertex-transitive graphs and random generation in finite groups
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Nearly linear time algorithms for permutation groups with a small base
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Fast recognition of doubly transitive groups
Journal of Symbolic Computation - Special issue on computational group theory: part 2
A strong generating test and short presentations for permutation groups
Journal of Symbolic Computation - Special issue on computational group theory: part 2
A fast cyclic base change for permutation groups
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
An elementary algorithm for computing the composition factors of a permutation group
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Hypergraph isomorphism and structural equivalence of Boolean functions
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Backtrack searching in the presence of symmetry
Nordic Journal of Computing
Analysis of Interconnection Networks Based on Cayley Graphs of Strong Generating Sets
ICPP '94 Proceedings of the 1994 International Conference on Parallel Processing - Volume 01
Efficiently Solving Problems Where the Solutions Form a Group
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Generalizing Boolean satisfiability II: theory
Journal of Artificial Intelligence Research
Generalizing Boolean satisfiability III: implementation
Journal of Artificial Intelligence Research
Testing nilpotence of galois groups in polynomial time
ACM Transactions on Algorithms (TALG)
Hi-index | 0.00 |