Variants of Quantified Linear Programming and Quantified Linear Implication.

Piotr Wojciechowski, Pavlos Eirinakis, K. Subramani

Browse the full ISAIM paper archive.