The complexity of satisfiability problem
โ
Eric Allender; Michael Bauland; Neil Immerman; Henning Schnoor; Heribert Vollmer
๐
Article
๐
2009
๐
Elsevier Science
๐
English
โ 441 KB