Binary Integer Linear Programming Problems