On-line 2-satisfiability (Q1356216)

From MaRDI portal