Tai Joon Park

According to our database, Tai Joon Park authored at least 1 paper in 1996.

Collaborative distances:

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

1996

Partitioning Methods for Satisfiability Testing on Large Formulas.

Tai Joon Park, Allen Van Gelder

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996