Álvaro del
Val Latorre
Publikationen, an denen er mitarbeitet Álvaro del Val Latorre (1)
2004
-
Modeling choices in quasigroup completion: SAT vs. CSP
Proceedings of the National Conference on Artificial Intelligence