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
Using general profile
ATVA 2025
Mon 27 - Fri 31 October 2025 Bengaluru, India