First-order integer programming for MAP problems | Read Paper on Bytez