Tai Joon Park Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - 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 EE 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	EE	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]