Binary integer programming