An ILP-based Proof System for the Crossing Number Problem.

Markus Chimani, Tilo Wiedera

Browse the full ESA paper archive.