Publicacions en col·laboració amb investigadors/es de Universidad Autónoma de Madrid (1)

2004

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

    Proceedings of the National Conference on Artificial Intelligence