July 8, 2021

TCG CREST’s Ph.D. student at IAI, Arijit Shaw along with his collaborators from National University of Singapore won 2nd prize at the first Electronic Design Automation (EDA) Challenge. As the challenge website mentions, “EDA Challenge focuses on the innovative EDA algorithms and aims to bridge the gap between academic research and industrial application.” The team was awarded a prize money of 2500 Euros for winning the challenge.

The competition was for solvers of the Boolean Satisfiability (SAT) problem, which targets to solve industrial problems of verification and automated testing of softwares. The event was held alongside the 24th International Conference on Theory and Applications of Satisfiability Testing, which was held at Barcelona, Spain from 5 to 9 July, 2021.

Arijit’s research focuses on designing solvers of hard computational problems of Boolean satisfiability (SAT), SMT and model counting. The solver competing in EDA challenge is fueled by his SAT 2020 paper Designing new phase selection heuristics.

The award testifies that our research has quite importance in solving large-scale industrial problems and should help humanity in long-term” – Arijit.