A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods.

Samuel Devulder Jean-Luc Lambert

Published in: ASE (1999)

Keyphrases

linear programming
computational cost
computational complexity
preprocessing
database
information systems
significant improvement
artificial intelligence
search algorithm
special case
np hard
empirical studies
benchmark datasets
classification method
methods require