1989 | ||
---|---|---|
2 | Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper: Discovering Inequality Conditions in the Analytic Solution of Optimization Problems. J. Autom. Reasoning 5(3): 339-362 (1989) | |
1988 | ||
1 | Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper: Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). ISSAC 1988: 109-115 |
1 | Bruce W. Char | [1] [2] |
2 | Paul A. Strooper | [1] [2] |