Time-space tradeoffs for satisfiability
scientific article; zbMATH DE number 1455738
scientific article