Publications by the researcher in collaboration with Álvaro del Val Latorre (1)

2004

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

    Proceedings of the National Conference on Artificial Intelligence