Álvaro del
Val Latorre
Publicaciones en las que colabora con Álvaro del Val Latorre (1)
2004
-
Modeling choices in quasigroup completion: SAT vs. CSP
Proceedings of the National Conference on Artificial Intelligence