Logic, Optimization and Robotics(LOR)
2021 SGR 00981
![Foto de Logic, Optimization and Robotics(LOR)](/img/grupo.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 (1)
2009
-
Regular encodings from Max-CSP into partial Max-SAT
Proceedings of The International Symposium on Multiple-Valued Logic