Royal Institute of Technology-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2017

  1. Structure features for SAT instances classification

    Journal of Applied Logic, Vol. 23, pp. 27-39