chuck jacobs
michael f  cohen
microsoft research
optimization
zhengyou zhang