TG-PRO: A new model for SAT-based ATPG. - Huan Chen 001; João Marques-Silva 001 (HLDVT, 2009)

Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. - Lucas C. Cordeiro; Bernd Fischer 002; Huan Chen 001; João Marques-Silva 001 (ICESS, 2009)

Improvements to satisfiability-based boolean function bi-decomposition. - Huan Chen 001; João Marques-Silva 001 (VLSI-SoC, 2011)

QBf-based boolean function bi-decomposition. - Huan Chen 001; Mikolás Janota; João Marques-Silva 001 (DATE, 2012)

New & improved models for SAT-based bi-decomposition. - Huan Chen 001; João Marques-Silva 001 (ACM Great Lakes Symposium on VLSI, 2012)

TG-Pro: A SAT-based ATPG System. - Huan Chen 001; João Marques-Silva 001 (J. Satisf. Boolean Model. Comput., 2012)

Core minimization in SAT-based abstraction. - Anton Belov; Huan Chen 001; Alan Mishchenko; João Marques-Silva 001 (DATE, 2013)

A Two-Variable Model for SAT-Based ATPG. - Huan Chen 001; João Marques-Silva 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)