Henri Beringer Bruno De Backer Satisfiability of Boolean Formulas over Linear Constraints. 296-304 1993 IJCAI db/conf/ijcai/ijcai93.html#BeringerB93