Enhancing SAT-based equivalence checking with static logic implications. - Rajat Arora 001; Michael S. Hsiao (HLDVT, 2003)

CNF formula simplification using implication reasoning. - Rajat Arora 001; Michael S. Hsiao (HLDVT, 2004)

Enhancing SAT-based Bounded Model Checking using Sequential Logic Implications. - Rajat Arora 001; Michael S. Hsiao (VLSI Design, 2004)

Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking. - Rajat Arora 001; Michael S. Hsiao (J. Univers. Comput. Sci., 2004)

Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults. - Manan Syal; Rajat Arora 001; Michael S. Hsiao (ICCD, 2005)