PAPER / ARXIV:2609.10602
Theodoros Papamakarios
RESUMO
We show that a (stronger) version of random resolution has the feasible disjunction property. This is the first instance of a proof system not known to have feasible interpolation, which nevertheless has the feasible disjunction property.
NO MESMO MAPA