OTLP: Output Thresholding Using Mixed Integer Linear Programming. - Baran Koseoglu; Luca Traverso; Mohammed Topiwalla; Egor Kraev; Zoltan Szopory (CoRR, 2024)