2,115 followers
@kevin_arlin @_julesh_ And some are even harder, e.g. Boolean formula isomorphism is coNP-hard, but thought to be intermediate between the first two levels of PH, see this wonderful monograph by @agrawalmanindra and T. Thierauf: https://t.co/fsZ5NEqFnP