Picture for Arijit Shaw

Arijit Shaw

Approximate SMT Counting Beyond Discrete Domains

Add code
Jul 24, 2025
Viaarxiv icon

Model Counting in the Wild

Add code
Aug 13, 2024
Viaarxiv icon

Explaining SAT Solving Using Causal Reasoning

Add code
Jun 09, 2023
Viaarxiv icon