Wen-Tsuen Chen;Lung-Lung Liu
-;-
Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedure
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector Computers
IEEE Transactions on Knowledge and Data Engineering
Paper: An efficient procedure for theorem proving in propositional logic on vector computers
Parallel Computing