Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler. The theorem prover SATCHMO : strategies, heuristics and applications. In Jean-Jacques Chabrier, editor, JFPLC 95, IVèmes Journées Francophones de Programmation en Logique & Journée d étude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France. pages 349, 1995.
@inproceedings{AbdennadherBEG95,
title = {The theorem prover SATCHMO : strategies, heuristics and applications},
author = {Slim Abdennadher and François Bry and Norbert Eisinger and Tim Geisler},
year = {1995},
researchr = {https://researchr.org/publication/AbdennadherBEG95},
cites = {0},
citedby = {0},
pages = {349},
booktitle = {JFPLC 95, IVèmes Journées Francophones de Programmation en Logique & Journée d étude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France},
editor = {Jean-Jacques Chabrier},
}