Professor Vijay Ganesh and PhD student, Jia Hu Liang, win big at 2017 SAT Competition in Melbourne

ECE Professor Vijay Ganesh and his PhD student, Jia Hu Liang, were big winners at the 2017 SAT Competition held in Melbourne, Australia.  One of Ganesh's solvers, MapleCOMSPS, was awarded two silver medals; his student won honourable mentions in the best student paper award category.

The 2017 SAT Competition is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 20th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the yearly SAT Competitions and SAT-Races / Challenges.

Congratulations!