DBLP Record 'conf/jfplc/AbdennadherBEG95'

BibTeX

@inproceedings{DBLP:conf/jfplc/AbdennadherBEG95,
  author    = {Slim Abdennadher and
               Fran\c{c}ois Bry and
               Norbert Eisinger and
               Tim Geisler},
  title     = {The theorem prover SATCHMO : strategies, heuristics and
               applications},
  booktitle = {JFPLC},
  year      = {1995},
  pages     = {349-},
  crossref  = {DBLP:conf/jfplc/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/jfplc/1995,
  editor    = {Jean-Jacques Chabrier},
  title     = {JFPLC'95, IV{\`e}mes Journ{\'e}es Francophones de
               Programmation en Logique {\&} Journ{\'e}e d'{\'e}tude
               Programmation par Contraintes et applications industrielles,
               17-19 mai 1995, Dijon, France},
  booktitle = {JFPLC},
  year      = {1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}