History

for article: 2-satisfiability