https://123dok.net/document/qo5l42d0-a-circuit-based-approach-to-efficient-enumeration.html