Concepedia

Ruei-Rung Lee

RL

Statistics

Publications

3

Citations

72

H-Index

3

Active since

2008

Affiliations

National Taiwan University(Current)

Ruei-Rung Lee is an author at National Taiwan University specializing in engineering, computer engineering, and automated reasoning.

Top concepts

Publications per year

2008–2008

3

Publications

3

Bi-decomposing large Boolean functions via interpolation and satisfiability solving

Ruei-Rung Lee, Jie-Hong R. Jiang, Wei-Lun Hung · 2008 · 41 citations

, , +19

To SAT or not to SAT: Ashenhurst decomposition in a large scale

Hsuan-Po Lin, Jie-Hong R. Jiang, Ruei-Rung Lee · International Conference on Computer Aided Design · 2008 · 21 citations

, , +21

To SAT or not to SAT: Ashenhurst decomposition in a large scale

Hsuan-Po Lin, Jie-Hong R. Jiang, Ruei-Rung Lee · 2008 · 10 citations

, , +21

1–3 of 3