Cited By
View all- Fang MChen W(1992)Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector ComputersIEEE Transactions on Knowledge and Data Engineering10.1109/69.1669894:5(475-486)Online publication date: 1-Oct-1992
- Chen WFang MPryor DMontry GMartin J(1990)Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedureProceedings of the 1990 ACM/IEEE conference on Supercomputing10.5555/110382.110596(658-665)Online publication date: 12-Nov-1990
- Computer Staff (1989)The Computer SpectrumComputer10.1109/2.4352722:11(57-68)Online publication date: 1-Nov-1989