Delaying satisfiability for random 2SAT

From MaRDI portal
Publication:2852549