Symmetry Breaking in Quantified Boolean Formulae

Gilles Audemard, Saïd Jabbour, Lakhdar Sais

IJCAI 2007 pp. 2262-2267

/ijcai/2007/audemard2007ijcai-symmetry/

Cite

Text

Audemard et al. "Symmetry Breaking in Quantified Boolean Formulae." International Joint Conference on Artificial Intelligence, 2007.

Markdown

[Audemard et al. "Symmetry Breaking in Quantified Boolean Formulae." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/audemard2007ijcai-symmetry/)

BibTeX

@inproceedings{audemard2007ijcai-symmetry,
  title     = {{Symmetry Breaking in Quantified Boolean Formulae}},
  author    = {Audemard, Gilles and Jabbour, Saïd and Sais, Lakhdar},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {2262-2267},
  url       = {https://mlanthology.org/ijcai/2007/audemard2007ijcai-symmetry/}
}