Arijit Shaw | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Kuldeep S. Meel
49 publications
Teodora Baluta
8 publications
Mate Soos
5 publications
Jiong Yang
5 publications

research

∙ 06/09/2023

Explaining SAT Solving Using Causal Reasoning

The past three decades have witnessed notable success in designing effic...

0 Jiong Yang, et al. ∙

research

∙ 05/11/2020

Designing New Phase Selection Heuristics

CDCL-based SAT solvers have transformed the field of automated reasoning...

0 Arijit Shaw, et al. ∙

Success!

An error occurred