The black box groups were introduced by Babai and Szemerédi in 1984 and were used as a formalism for (constructive) group recognition and property testing.
The black box groups were introduced by Babai and Szemerédi in 1984 and were used as a formalism for (constructive) group recognition and property testing.