TY  - JOUR
AU  - Beringer, Henri
AU  - de Backer, Bruno
PY  - 1993/aug/
TI  - Satisfiability of Boolean formulas over linear constraints
SP  - 296
EP  - 301
CY  - ijcai93l
KW  - contraintes linéaires, simplex, disjonctions
ID  - Beringer93
ER  -