0-1 integer programming