Supratik Chakraborty

9 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3 KR ×3 FM ×1 ICSME ×1 IJCAI ×1

Frequent coauthors

S. Akshay

×5

R. Venkatesh

×2

Amir Kafshdar Goharshady

×2

Harshit J. Motwani

×2

Kuldeep S. Meel

×2

Alfredo Cantarella

×1

Bernd Finkbeiner

×1

Niklas Metzger

×1

Nakshatra Gupta

×1

Sumanth Prabhu S

×1

Nadav Alon

×1

Alexandre Duret-Lutz

×1

Papers

Knowledge Compilation for Quantification in Alternating Automata
KR 2026 ·
S. Akshay
,
Alfredo Cantarella
, Supratik Chakraborty,
Bernd Finkbeiner
,
Niklas Metzger
On Robustness of Linear Classifiers to Targeted Data Poisoning
AAAI 2026 ·
Nakshatra Gupta
,
Sumanth Prabhu S
, Supratik Chakraborty,
R. Venkatesh
On-the-fly LTLf Synthesis under Partial Observability
KR 2026 ·
Nadav Alon
, Supratik Chakraborty,
Alexandre Duret-Lutz
,
Dror Fried
,
Lucas M. Tabajara
,
Moshe Y. Vardi
,
Shufang Zhu
LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
IJCAI 2025 ·
S. Akshay
, Supratik Chakraborty,
Soroush Farokhnia
,
Amir Kafshdar Goharshady
,
Harshit Jitendra Motwani
,
Dorde Zikelic
Presburger Functional Synthesis: Complexity and Tractable Normal Forms
KR 2025 ·
S. Akshay
,
A. R. Balasubramanian
, Supratik Chakraborty,
Georg Zetzsche
Auditable Algorithms for Approximate Model Counting
AAAI 2024 ·
Kuldeep S. Meel
, Supratik Chakraborty,
S. Akshay
Exact ASP Counting with Compact Encodings
AAAI 2024 ·
Mohimenul Kabir
, Supratik Chakraborty,
Kuldeep S. Meel
Learning Strategies Using Boolean Program Metrics to Verify Industrial Code
ICSME 2024 ·
Priyanka Darke
,
Bharti Chimdyalwar
,
Manoj Alladawar
,
Sahil Sulakhe
,
R. Venkatesh
, Supratik Chakraborty
Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic
FM 2024 ·
S. Akshay
, Supratik Chakraborty,
Amir Kafshdar Goharshady
,
R. Govind
,
Harshit J. Motwani
,
Sai Teja Varanasi