Universidad de Granada-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2019

  1. Community structure in industrial SAT instances

    Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472