Thursday, July 17, 2014
ECE professors Vijay Ganesh and Sebastian Fishmeister and ECE MASc student Zach Newsham have received the 'best student paper' award at the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014) conference held in Vienna from July 14-17. The paper was titled "Impact of Community Structure on SAT Solver Performance".