@InProceedings{OMS-02-1,
title = {LSAT solver},
booktitle = {Fifth International Symposium on the Theory and Applications of Satisfiability Testing(SAT'02)},
author = {Ostrowski, Richard and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Mazure, Bertrand and Saïs, Lakhdar},
year = {2002},
month = {may},
address = {Cincinnati (Ohio, USA)},
note = {SAT solvers description},
}