Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedure.

Wen-Tsuen Chen, Ming-Yi Fang

Browse the full SC paper archive.