- Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)
Instituto de investigación
![Foto de - Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)](/img/noimage.png)
![Foto de University of York](/img/noimage_org.png)
University of York
York, Reino UnidoPublicaciones en colaboración con investigadores/as de University of York (1)
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)