Login / Signup

Out of order quantifier elimination for Standard Quantified Linear Programs.

K. SubramaniDejan Desovski
Published in: J. Symb. Comput. (2005)
Keyphrases
  • linear program
  • linear programming
  • quantifier elimination
  • integrity constraints
  • constraint propagation
  • simplex method
  • objective function
  • query processing
  • column generation
  • primal dual
  • extreme points