Hardness of Range Avoidance and Proof Complexity Generators from Demi-Bits

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Ren, Hanlin, Wang, Yichuan, Zhong, Yan
Format: Preprint
Publié: 2025
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!