generated at
implicit graph
Black box group, an implicit model for group-theoretic algorithms
Matroid oracle, an implicit model for matroid algorithms