Publicacions en què col·labora amb Álvaro del Val Latorre (1)

2004

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

    Proceedings of the National Conference on Artificial Intelligence