Logic, Optimization and Robotics(LOR)
2021 SGR 00981
![Foto de Logic, Optimization and Robotics(LOR)](/img/grupo.png)
![Foto de Universidad de Granada](/img/noimage_org.png)
Universidad de Granada
Granada, EspañaUniversidad de Granada-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2019
-
Community structure in industrial SAT instances
Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472