@InProceedings{AMS-04-1,
title = { Dealing with Symmetries in Quantified Boolean Formulas},
booktitle = {Seventh International Conference on Theory and Applications of Satisfiability Testing(SAT'04)},
pages = {257-262},
author = {Audemard, Gilles and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Audemard, Gilles and Mazure, Bertrand and Saïs, Lakhdar},
year = {2004},
}