Integrating CNF and BDD based SAT solvers. - Sivaram Gopalakrishnan; Vijay Durairaj; Priyank Kalla (HLDVT, 2003)

Exploiting hypergraph partitioning for efficient Boolean satisfiability. - Vijay Durairaj; Priyank Kalla (HLDVT, 2004)

Dynamic analysis of constraint-variable dependencies to guide SAT diagnosis. - Vijay Durairaj; Priyank Kalla (HLDVT, 2004)

Guiding CNF-SAT search via efficient constraint partitioning. - Vijay Durairaj; Priyank Kalla (ICCAD, 2004)

Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies. - Vijay Durairaj; Priyank Kalla (SAT, 2005)

Guiding CNF-SAT Search by Analyzing Constraint-Variable Dependencies and Clause Lengths. - Vijay Durairaj; Priyank Kalla (HLDVT, 2006)

Efficient Transistor-Level Symbolic Timing Simulation Using Cached Partial Circuit States. - Clayton B. McDonald; Hsinwei Chou; Vijay Durairaj; Pey-Chang Kent Lin (ICCAD, 2015)