Finding prime implicants by minimizing integer programming problems