ML Anthology

Efficient Symmetry Breaking for Boolean Satisfiability

Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov
IJCAI 2003 pp. 271-276
doi:10.1109/TC.2006.75 /ijcai/2003/aloul2003ijcai-efficient/
PDF IJCAI Semantic Scholar

Cite

Text

Aloul et al. "Efficient Symmetry Breaking for Boolean Satisfiability." International Joint Conference on Artificial Intelligence, 2003. doi:10.1109/TC.2006.75

Markdown

[Aloul et al. "Efficient Symmetry Breaking for Boolean Satisfiability." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/aloul2003ijcai-efficient/) doi:10.1109/TC.2006.75

BibTeX

@inproceedings{aloul2003ijcai-efficient,
  title     = {{Efficient Symmetry Breaking for Boolean Satisfiability}},
  author    = {Aloul, Fadi A. and Sakallah, Karem A. and Markov, Igor L.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2003},
  pages     = {271-276},
  doi       = {10.1109/TC.2006.75},
  url       = {https://mlanthology.org/ijcai/2003/aloul2003ijcai-efficient/}
}