Opturion’s Lazy Clause Generation hybrid solver won the inaugural Google Australia Eureka Award in 2010 for innovations in computer science and has been ranked amongst the worlds most efficient and scalable optimisation engine.
Opturion’s Lazy Clause Generation hybrid solver won the inaugural Google Australia Eureka Award in 2010 for innovations in computer science and has been ranked amongst the worlds most efficient and scalable optimisation engine.