Logical Problems And Integer Programming