@InProceedings{ALR-03-1,
title = {OpenSAT: une plateforme SAT Open Source},
booktitle = {Neuvièmes Journées Nationales sur la résolution Pratique de Problèmes NP-Complets(JNPC'03)},
author = {Audemard, Gilles and Le~Berre, Daniel and Roussel, Olivier},
OPT_auteurs_membres = {Audemard, Gilles and Le~Berre, Daniel and Roussel, Olivier},
year = {2003},
month = {jun},
}