SMT + ILP | Read Paper on Bytez