Minimization via Duality.

Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden

Browse the full WoLLIC paper archive.