A Verification Method for Solutions of Linear Programming Problems.

Ismail I. Idriss

Published in: PARA (2004)

Keyphrases

linear programming problems
verification method
multiple objectives
linear programming
optimal solution
primal dual
linear program
model checking
simplex algorithm
column generation
mixed integer
temporal logic
neural network
simplex method
fitness function
convergence rate
metaheuristic
worst case