# Finding read-once resolution refutations in systems of 2CNF clauses

> Research article (Theoretical Computer Science, 2018) · cited 23× · AI/ML

**Wikidata**: [openalex:W2789909559](https://www.wikidata.org/wiki/openalex:W2789909559)  
**Source**: https://4ort.xyz/entity/finding-read-once-resolution-refutations-in-systems-of-2cnf-clauses