Li-Cheng Chen

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 2

Top Topics

Spatial Distribution

Boolean Formula

Efficient Computation

Top Venues

Publications

Li-Cheng Chen, Jie-Hong R. Jiang
A Cube Distribution Approach to QBF Solving and Certificate Minimization. CP (2019)
Ai Quoc Dao, Nian-Ze Lee, Li-Cheng Chen, Mark Po-Hung Lin, Jie-Hong R. Jiang, Alan Mishchenko, Robert K. Brayton
Efficient computation of ECO patch functions. DAC (2018)
Mu-Huo Cheng, Li-Cheng Chen, Ying-Che Hung, Chien-Nan Chen, Chang-Ming Yang, Tzu-Lin Yang
A vital wearing system with wireless capability. PervasiveHealth (2008)