@InProceedings{MSG-95-1,
title = { TWSAT : a new local search algorithm for SAT : performance and analysis},
booktitle = {Proceedngs of the Workshop CP95 on Solving Really Hard Problems(Wks-SRHP-CP95)},
pages = {127-130},
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 = {1995},
month = {sep},
address = { Cassis},
}