ACM SIGMOD Anthology TKDE dblp.uni-trier.de

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.


Joint ACM SIGMOD / IEEE Computer Society Anthology

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Martin Davis, Hilary Putnam: A Computing Procedure for Quantification Theory. J. ACM 7(3): 201-215(1960) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
...
[8]
Kai Hwang: Multiprocessor Supercomputers for Scientific/Engineering Applications. IEEE Computer 18(6): 57-73(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
...
[10]
...
[11]
IEEE Scientific Supercomputing Subcommitee: Software for Supercomputers. IEEE Computer 21(12): 70-74(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Alasdair Urquhart: Hard examples for resolution. J. ACM 34(1): 209-219(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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