Advances on Strictly $\varDelta $-Modular IPs.

Martin Ngele, Christian Nbel, Richard Santiago, Rico Zenklusen

Browse the full IPCO paper archive.