Logic, Optimization and Robotics(LOR)
2021 SGR 00981
Álvaro del
Val Latorre
Publikationen, an denen er mitarbeitet Álvaro del Val Latorre (1)
2004
-
Modeling choices in quasigroup completion: SAT vs. CSP
Proceedings of the National Conference on Artificial Intelligence