Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract).

Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper

Browse the full ISSAC paper archive.