A random base change algorithm for permutation groups
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
An overview of supertoroidal networks
SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures
A fast cyclic base change for permutation groups
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Solving puzzles related to permutation groups
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Memory-based and disk-based algorithms for very high degree permutation groups
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
A comparative analysis of parallel disk-based Methods for enumerating implicit graphs
Proceedings of the 2007 international workshop on Parallel symbolic computation
A New Property of Hamming Graphs and Mesh of d-ary Trees
Computer Mathematics
Proof Pearl: Revisiting the Mini-rubik in Coq
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Biased tadpoles: a fast algorithm for centralizers in large matrix groups
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Perfect hashing for state spaces in BDD representation
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Strongly solving fox-and-geese on multi-core CPU
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
External memory breadth-first search with delayed duplicate detection on the GPU
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Gossiping and routing in second-kind Frobenius graphs
European Journal of Combinatorics
Discrete Applied Mathematics
Frobenius circulant graphs of valency six, Eisenstein-Jacobi networks, and hexagonal meshes
European Journal of Combinatorics
| Hi-index | 0.00 |