History

for article: Branch and cut