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

@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

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

...

[3]

...

[4]

Stephen A. Cook: The Complexity of Theorem-Proving Procedures. STOC 1971: 151-158 BibTeX

[5]

Martin Davis, Hilary Putnam: A Computing Procedure for Quantification Theory. J. ACM 7(3): 201-215(1960) BibTeX

[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
BibTeX

[7]

...

[8]

Kai Hwang: Multiprocessor Supercomputers for Scientific/Engineering Applications. IEEE Computer 18(6): 57-73(1985) BibTeX

[9]

...

[10]

...

[11]

IEEE Scientific Supercomputing Subcommitee: Software for Supercomputers. IEEE Computer 21(12): 70-74(1988) BibTeX

[12]

Alasdair Urquhart: Hard examples for resolution. J. ACM 34(1): 209-219(1987) BibTeX