CARLOS J.
ANSOTEGUI GIL
CU
Royal Institute of Technology
Estocolmo, SueciaPublicaciones en colaboración con investigadores/as de Royal Institute of Technology (1)
2017
-
Structure features for SAT instances classification
Journal of Applied Logic, Vol. 23, pp. 27-39