History

for article: Maximum satisfiability problem