TY  - RPRT
TI  - Hard CNF Instances for Ideal Proof Systems
AU  - Tuomas Hakoniemi
AU  - Nutan Limaye
AU  - Iddo Tzameret
PY  - 2026
UR  - https://arxiv.org/abs/2605.04544
ID  - 2605.04544
ER  -