Encoding of linear constraints may require auxiliary clauses. If the constraint involves bool literals, they should be also incorporated in the auxiliary clauses (otherwise, if the auxiliary clauses themselves are unsatisfiable, the entire CSP instance would be unsatisfiable regardless of the presence of bool literals in the constraint)
Encoding of linear constraints may require auxiliary clauses. If the constraint involves bool literals, they should be also incorporated in the auxiliary clauses (otherwise, if the auxiliary clauses themselves are unsatisfiable, the entire CSP instance would be unsatisfiable regardless of the presence of bool literals in the constraint)