DBLP Record 'conf/aimsa/BoiR90'

BibTeX

@inproceedings{DBLP:conf/aimsa/BoiR90,
  author    = {Jean-Marc Bo\"{\i} and
               Antoine Rauzy},
  title     = {Two Algorithms for Constraint Systems Solving in Propositional
               Calculus and their Implementation in Constraint Programming
               Languages},
  booktitle = {AIMSA},
  year      = {1990},
  pages     = {139-148},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}