On $NP \cap coNP$ proof complexity generators

arXiv:2506.20221v3 Announce Type: replace-cross Abstract: Motivated by the theory of proof complexity generators we consider the following $\Sigma^p_2$ search problem $\mbox{DD}_P$ determined by a propositional proof system $P$: given a $P$-proof $\pi$ of a disjunction $\bigve...

🔗 Read more: https://arxiv.org/abs/2506.20221

#News #Genetics #Policy #Physics #Biology #Academic