Gracia Hu

According to our database, Gracia Hu authored at least 2 papers in 2002.

Collaborative distances:

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

2002

Speeding up SAT for EDA.

Slawomir Pilarski, Gracia Hu

Proceedings of the 2002 Design, 2002

SAT with partial clauses and back-leaps.

Slawomir Pilarski, Gracia Hu

Proceedings of the 39th Design Automation Conference, 2002