Ruei-Rung Lee

According to our database, Ruei-Rung Lee authored at least 2 papers in 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

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

Hsuan-Po Lin, Jie-Hong Roland Jiang, Ruei-Rung Lee

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

Bi-decomposing large Boolean functions via interpolation and satisfiability solving.

Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung

Proceedings of the 45th Design Automation Conference, 2008