Google Australia Eureka Prize for Innovation in Computer Science

Prize: Prize (including medals and awards)

Description

For the development of lazy clause generation discrete optimization technology.
Degree of recognitionNational
OrganisationsMuseums Australia