Álvaro del
Val Latorre
Publicacions en què col·labora amb Álvaro del Val Latorre (1)
2004
-
Modeling choices in quasigroup completion: SAT vs. CSP
Proceedings of the National Conference on Artificial Intelligence