BeringerB93'

BibTeX

@inproceedings{DBLP:conf/ijcai/BeringerB93,
  author    = {Henri Beringer and
               Bruno De Backer},
  title     = {Satisfiability of Boolean Formulas over Linear Constraints},
  booktitle = {IJCAI},
  year      = {1993},
  pages     = {296-304},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}