conf.researchr.org / Arijit Shaw
Arijit Shaw

Registered user since Sun 28 Sep 2025

Name:Arijit Shaw
Country:India
Affiliation:Chennai Mathematical Institute
Personal website: https://arijitsh.github.io
Research interests:SAT, SMT, Model Counting

Contributions