Logic, Optimization and Robotics(LOR)
2021 SGR 00981
Publicaciones en las que colabora con MARIA TERESA ALSINET BERNADO (2)
2003
-
Automated monitoring of medical protocols: A secure and distributed architecture
Artificial Intelligence in Medicine, Vol. 27, Núm. 3, pp. 367-392
2002
-
Minimal and redundant SAT encodings for the all-interval-series problem
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)