Tai Joon Park

Publication Activity (10 Years)

Years Active: 1996-2000
Publications (10 Years): 0

Publications

Tai Joon Park, Allen Van Gelder
Partitioning Methods for Satisfiability Testing on Large Formulas. Inf. Comput. 162 (1-2) (2000)
Tai Joon Park, Allen Van Gelder
Partitioning Methods for Satisfiability Testing on Large Formulas. CADE (1996)