Vectorization Techniques for Theorem Proving in Propositional Logic. - Wen-Tsuen Chen; Ming-Yi Fang (ICPP (2), 1990)

Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedure. - Wen-Tsuen Chen; Ming-Yi Fang (SC, 1990)

A Massively Parallel Processing Unit with a Reconfigurable Bus System RIPU. - Wen-Tsuen Chen; Chia-Cheng Liu; Ming-Yi Fang (ICPP (1), 1991)

Embedding Large Binary Trees to Hypercube Multiprocessors. - Ming-Yi Fang; Wen-Tsuen Chen (ICPP (1), 1991)

Optimal Speed-Up Algorithms for Template Matching on SIMD Hypercube Multiprocessors with Restricted Local Memory. - Shi-Jinn Horng; Wen-Tsuen Chen; Ming-Yi Fang (Inf. Process. Lett., 1991)

An efficient procedure for theorem proving in propositional logic on vector computers. - Wen-Tsuen Chen; Ming-Yi Fang (Parallel Comput., 1991)

An Embedding of Large Binary Trees into Hypercube Multiprocessors of Limited Size. - Ming-Yi Fang; Wen-Tsuen Chen (J. Inf. Sci. Eng., 1992)

Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector Computers. - Ming-Yi Fang; Wen-Tsuen Chen (IEEE Trans. Knowl. Data Eng., 1992)