Symmetry Breaking in Quantified Boolean Formulae.

Gilles Audemard, Sad Jabbour, Lakhdar Sais

Browse the full IJCAI paper archive.