OpenAlex
Complexity of Hard-Core Set Proofs
Work