ML Anthology

Modeling Choices in Quasigroup Completion: SAT vs. CSP

Carlos Ansótegui, Alvaro del Val, Iván Dotú, Cèsar Fernández, Felip Manyà
AAAI 2004 pp. 137-142
/aaai/2004/ansotegui2004aaai-modeling/
PDF AAAI Semantic Scholar

Cite

Text

Ansótegui et al. "Modeling Choices in Quasigroup Completion: SAT vs. CSP." AAAI Conference on Artificial Intelligence, 2004.

Markdown

[Ansótegui et al. "Modeling Choices in Quasigroup Completion: SAT vs. CSP." AAAI Conference on Artificial Intelligence, 2004.](https://mlanthology.org/aaai/2004/ansotegui2004aaai-modeling/)

BibTeX

@inproceedings{ansotegui2004aaai-modeling,
  title     = {{Modeling Choices in Quasigroup Completion: SAT vs. CSP}},
  author    = {Ansótegui, Carlos and del Val, Alvaro and Dotú, Iván and Fernández, Cèsar and Manyà, Felip},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2004},
  pages     = {137-142},
  url       = {https://mlanthology.org/aaai/2004/ansotegui2004aaai-modeling/}
}