Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems.

Changjing Wang Jinyun Xue

Published in: FAW (2009)

Keyphrases

solving problems
domain specific
convex optimization problems
optimization problems
solving complex
np complete problems
wide range
linear programming
np complete
combinatorial optimization
linear programming problems
genetic algorithm
integer program
constrained problems