Arup Kumar Ghosh (School of EECS

Identifiers

• name variant Arup Kumar Ghosh (School of EECS 0.60 · backfill

Papers (1)

1. Speeding up SAT solver by exploring CNF symmetries : Revisited math.CO · 2011 · author #1

Mentions

• 1102.0230 #1 · backfill · confidence 0.70 Arup Kumar Ghosh (School of EECS

Frequent Coauthors

• University of Central Florida) 1 shared papers