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.

Awarded date	2010
Degree of recognition	National
Granting Organisations	Australian Museum (New South Wales)