History

for article: Boolean satisfiability problem