Carlos Ansótegui Alvaro del Val Iván Dotú Cèsar Fernández Felip Manyà Modeling Choices in Quasigroup Completion: SAT vs. CSP. 137-142 2004 conf/aaai/2004 AAAI db/conf/aaai/aaai2004.html#AnsoteguiVDFM04