# Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector Computers.

Ming-Yi Fang, Wen-Tsuen Chen:
Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector Computers.
IEEE Trans. Knowl. Data Eng. 4(5): 475-486(1992)@article{DBLP:journals/tkde/FangC92,
author = {Ming-Yi Fang and
Wen-Tsuen Chen},
title = {Vectorization of a Generalized Procedure for Theorem Proving
in Propositional Logic on Vector Computers},
journal = {IEEE Trans. Knowl. Data Eng.},
volume = {4},
number = {5},
year = {1992},
pages = {475-486},
ee = {db/journals/tkde/FangC92.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}

## Abstract

*Copyright © 1992 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.*

CDROM Version: Load the CDROM "**Volume 3 Issue 2, TODS 1991-1995, TKDE 1989-1992**" and ...
DVD Version: Load **ACM SIGMOD Anthology DVD 2**" and ...

## References

- [1]
- ...
- [2]
- ...
- [3]
- ...
- [4]
- Stephen A. Cook:
The Complexity of Theorem-Proving Procedures.
STOC 1971: 151-158
- [5]
- Martin Davis, Hilary Putnam:
A Computing Procedure for Quantification Theory.
J. ACM 7(3): 201-215(1960)
- [6]
- M. R. Garey, David S. Johnson:
Computers and Intractability: A Guide to the Theory of NP-Completeness.
W. H. Freeman 1979, ISBN 0-7167-1044-7

- [7]
- ...
- [8]
- Kai Hwang:
Multiprocessor Supercomputers for Scientific/Engineering Applications.
IEEE Computer 18(6): 57-73(1985)
- [9]
- ...
- [10]
- ...
- [11]
- IEEE Scientific Supercomputing Subcommitee: Software for Supercomputers.
IEEE Computer 21(12): 70-74(1988)
- [12]
- Alasdair Urquhart:
Hard examples for resolution.
J. ACM 34(1): 209-219(1987)

Copyright © Mon Nov 2 21:57:42 2009
by Michael Ley (ley@uni-trier.de)