Semilinear Program Feasibility.

Manuel Bodirsky, Peter Jonsson, Timo von Oertzen

Browse the full ICALP paper archive.