Variants of Quantified Linear Programming and Quantified Linear Implication.
['Piotr J. Wojciechowski', 'Pavlos Eirinakis', 'K. Subramani']
Variants of Quantified Linear Programming and Quantified Linear Implication.