Henri Beringer, Bruno De Backer. Satisfiability of Boolean Formulas over Linear Constraints. In IJCAI. pages 296-304, 1993.
@inproceedings{BeringerB93,
title = {Satisfiability of Boolean Formulas over Linear Constraints},
author = {Henri Beringer and Bruno De Backer},
year = {1993},
tags = {constraints},
researchr = {https://researchr.org/publication/BeringerB93},
cites = {0},
citedby = {0},
pages = {296-304},
booktitle = {IJCAI},
}