Sciweavers

Share
IJCAI
2007

Symmetry Breaking in Quantified Boolean Formulae

8 years 8 months ago
Symmetry Breaking in Quantified Boolean Formulae
Gilles Audemard, Saïd Jabbour, Lakhdar Sais
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where IJCAI
Authors Gilles Audemard, Saïd Jabbour, Lakhdar Sais
Comments (0)
books