Hans Kleine Büning, Piotr J. Wojciechowski, K. Subramani. Finding read-once resolution refutations in systems of 2CNF clauses. Theoretical Computer Science, 729:42-56, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.