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. 475-486 TKDE4/P0475.pdf 1992 4 IEEE Trans. Knowl. Data Eng. 5 db/journals/tkde/tkde4.html#FangC92 http://doi.ieeecomputersociety.org/10.1109/69.166989 ... ... ... conf/stoc/Cook71 journals/jacm/DavisP60 books/fm/GareyJ79 ... journals/computer/Hwang85 ... ... journals/computer/Subcommitee88 journals/jacm/Urquhart87