- Enginyeria Informàtica i Disseny Digital
Departamento
![Foto de - Enginyeria Informàtica i Disseny Digital](/img/noimage.png)
![Foto de Universidade de Lisboa](/img/noimage_org.png)
Universidade de Lisboa
Lisboa, PortugalPublicaciones en colaboración con investigadores/as de Universidade de Lisboa (3)
2016
-
Maximal falsifiability
AI Communications
2009
-
Algorithms for weighted boolean optimization
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Regular encodings from Max-CSP into partial Max-SAT
Proceedings of The International Symposium on Multiple-Valued Logic