Quantified Linear Programming

Jan Wolf. Quantified Linear Programming. PhD thesis, Darmstadt University of Technology, 2015. [doi]

Abstract

Abstract is missing.