Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution
From MaRDI portal
Publication:4377278
DOI10.1145/256303.256313zbMath0890.68119OpenAlexW2080412956MaRDI QIDQ4377278
Publication date: 17 February 1998
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: http://www.acm.org/pubs/contents/journals/jacm/1997-44/
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
This page was built for publication: Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution
