Vectorization Techniques for Theorem Proving in Propositional Logic