Huan Chen

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Constraint Solver

Bi Decomposition

Top Venues

J. Satisf. Boolean Model. Comput.

ACM Great Lakes Symposium on VLSI

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Anton Belov, Huan Chen, Alan Mishchenko, João Marques-Silva
Core minimization in SAT-based abstraction. DATE (2013)
Huan Chen, João Marques-Silva
A Two-Variable Model for SAT-Based ATPG. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (12) (2013)
Huan Chen, Mikolás Janota, João Marques-Silva
QBf-based boolean function bi-decomposition. DATE (2012)
Huan Chen, João Marques-Silva
TG-Pro: A SAT-based ATPG System. J. Satisf. Boolean Model. Comput. 8 (1/2) (2012)
Huan Chen, João Marques-Silva
New & improved models for SAT-based bi-decomposition. ACM Great Lakes Symposium on VLSI (2012)
Huan Chen, Mikolás Janota, João P. Marques Silva
QBF-Based Boolean Function Bi-Decomposition CoRR (2011)
Huan Chen, João Marques-Silva
Improvements to Satisfiability-Based Boolean Function Bi-Decomposition. VLSI-SoC (Selected Papers) (2011)
Huan Chen, João Marques-Silva
Improvements to satisfiability-based boolean function bi-decomposition. VLSI-SoC (2011)
Lucas C. Cordeiro, Bernd Fischer, Huan Chen, João Marques-Silva
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. ICESS (2009)
Huan Chen, João Marques-Silva
TG-PRO: A new model for SAT-based ATPG. HLDVT (2009)