- Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)
Instituto de investigación
University of St Andrews
Saint Andrews, Reino UnidoPublicaciones en colaboración con investigadores/as de University of St Andrews (2)
2019
-
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
C2MS: Dynamic monitoring and management of cloud infrastructures
Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom