@InProceedings{MSG-96-2,
title = { SUN : a Multistrategy Platform for SAT},
booktitle = {First International Competition and Symposium on Satisfiability Testing(SAT'96)},
author = {Mazure, Bertrand and Saïs, Lakhdar and Grégoire, Éric},
OPT_auteurs_membres = {Mazure, Bertrand and Saïs, Lakhdar and Grégoire, Éric},
year = {1996},
month = {mar},
address = {Beijing},
note = {SAT solvers description},
}