Vectorization Techniques for Theorem Proving in Propositional Logic.

Wen-Tsuen Chen, Ming-Yi Fang

Browse the full ICPP paper archive.