Modeling Choices in Quasigroup Completion: SAT vs. CSP.

Carlos Anstegui, Alvaro del Val, Ivn Dot, Csar Fernndez, Felip Many

Browse the full AAAI paper archive.