Publicaciones en colaboración con investigadores/as 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