An exponential lower bound for the pure literal rule
From MaRDI portal
Publication:1104093
DOI10.1016/0020-0190(88)90028-2zbMath0646.68061MaRDI QIDQ1104093
Paul Walton jun. Purdom, Khaled M. Bugrara
Publication date: 1988
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(88)90028-2
68Q25: Analysis of algorithms and problem complexity
Cites Work