TY  - RPRT
TI  - Feasible disjunction for random resolution
AU  - Theodoros Papamakarios
PY  - 2026
UR  - https://arxiv.org/abs/2609.10602
ID  - 2609.10602
ER  -