@conference{Beringer93,
author = "Henri Beringer and de Backer, Bruno",
address = "ijcai93l",
booktitle = "ijcai93p",
keywords = "contraintes lin{\'e}aires, simplex, disjonctions",
month = "aug",
pages = "296--301",
title = "{S}atisfiability of {B}oolean formulas over linear
                   constraints",
year = "1993",
}