Markov Chains on Orbits of Permutation Groups
Probabilistic theorem proving