Binary Integer Programming Problems