Tai Joon Park

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000

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

1996

1 Tai Joon Park, Allen Van Gelder: Partitioning Methods for Satisfiability Testing on Large Formulas. CADE 1996: 748-762

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

Coauthor Index

1 Allen Van Gelder [1] [2]