@InProceedings{AMS-04-2,
title = { Symétries et Formules Booléennes Quantifiées},
booktitle = {10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets(JNPC'04)},
pages = { 43 - 53},
author = {Audemard, Gilles and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Audemard, Gilles and Mazure, Bertrand and Saïs, Lakhdar},
year = {2004},
}