Logic, Optimization and Robotics(LOR)
2021 SGR 00981
Universidad de Granada
Granada, EspañaPublications en collaboration avec des chercheurs de Universidad de Granada (1)
2019
-
Community structure in industrial SAT instances
Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472