Solving satisfiability in less than 2n s
โ
B. Monien; E. Speckenmeyer
๐
Article
๐
1985
๐
Elsevier Science
๐
English
โ 360 KB