- Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)
Institut d'investigació
![Foto de - Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)](/img/noimage.png)
![Foto de University of St Andrews](/img/noimage_org.png)
University of St Andrews
Saint Andrews, Reino UnidoPublications en collaboration avec des chercheurs 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