On sampling generating sets of finite groups and product replacement algorithm: extended abstract
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
The growth rate of vertex-transitive planar graphs
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
On a New High Dimensional Weisfeiler-Lehman Algorithm
Journal of Algebraic Combinatorics: An International Journal
Solving difficult SAT instances in the presence of symmetry
Proceedings of the 39th annual Design Automation Conference
Mixing time and long paths in graphs
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Symmetric drawings of triconnected planar graphs
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Kolmogorov random graphs only have trivial stable colorings
Information Processing Letters
On isomorphisms of finite Cayley graphs: a survey
Discrete Mathematics
On the Ádám Conjecture on Circulant Graphs
COCOON '98 Proceedings of the 4th Annual International Conference on Computing and Combinatorics
Random Cayley Graphs with O(log[G]) Generators Are Expanders
ESA '99 Proceedings of the 7th Annual European Symposium on Algorithms
ESA '00 Proceedings of the 8th Annual European Symposium on Algorithms
Graph Automorphisms with Maximal Projection Distances
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
On transitive Cayley graphs of groups and semigroups
European Journal of Combinatorics
Can we elect if we cannot compare?
Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures
Symmetry properties of chordal rings of degree 3
Discrete Applied Mathematics
Combinatorics, Probability and Computing
On the Complexity of Deduction Modulo Leaf Permutative Equations
Journal of Automated Reasoning
On Arc-Regular Permutation Groups Using Latin Squares
Journal of Algebraic Combinatorics: An International Journal
Percolation on Finite Cayley Graphs
Combinatorics, Probability and Computing
G-graphs: An efficient tool for constructing symmetric and semisymmetric graphs
Discrete Applied Mathematics
Universal families of permutation groups
Journal of Algebraic Combinatorics: An International Journal
Permutation group approach to association schemes
European Journal of Combinatorics
Generalizing Boolean satisfiability I: background and survey of existing work
Journal of Artificial Intelligence Research
Fast digital signature algorithm based on subgraph isomorphism
CANS'07 Proceedings of the 6th international conference on Cryptology and network security
Computational complexity of reconstruction and isomorphism testing for designs and line graphs
Journal of Combinatorial Theory Series A
Symmetry-breaking answer set solving
AI Communications - Answer Set Programming
On the asymptotic proportion of connected matroids
European Journal of Combinatorics
Symmetry breaking for distributed multi-context systems
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
On graph isomorphism for restricted graph classes
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Testing graph isomorphism in parallel by playing a game
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
A linear time algorithm for constructing maximally symmetric straight-line drawings of planar graphs
GD'04 Proceedings of the 12th international conference on Graph Drawing
Beautiful conjectures in graph theory
European Journal of Combinatorics
Hi-index | 0.00 |