Modeling choices in quasigroup completion: SAT vs. CSP (2004)

by C Ansótegui, del Val, A Dotú, I Fernández, C, F Manyà
Venue:In AAAI