Consistency for 0-1 Programming | Read Paper on Bytez