Ruei-Rung Lee

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Hsuan-Po Lin, Jie-Hong Roland Jiang, Ruei-Rung Lee
To SAT or not to SAT: Ashenhurst decomposition in a large scale. ICCAD (2008)
Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung
Bi-decomposing large Boolean functions via interpolation and satisfiability solving. DAC (2008)