Formal Derivation of a Generic Algorithmic Program for Solving a Class of Extremum Problems.

Chang-Jing Wang, Jin-Yun Xue

Browse the full SNPD paper archive.