Login / Signup
Alan R. Macnaughton
Publication Activity (10 Years)
Years Active: 1988-1989
Publications (10 Years): 0
</>
Publications
</>
Bruce W. Char
,
Alan R. Macnaughton
,
Paul A. Strooper
Discovering Inequality Conditions in the Analytic Solution of Optimization Problems.
J. Autom. Reason.
5 (3) (1989)
Bruce W. Char
,
Alan R. Macnaughton
,
Paul A. Strooper
Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract).
ISSAC
(1988)