Publikationen, an denen er mitarbeitet Álvaro del Val Latorre (1)

2004

  1. Modeling choices in quasigroup completion: SAT vs. CSP

    Proceedings of the National Conference on Artificial Intelligence