Authors: MEJEAN HM MOREL H REYNAUD G

Citation: Hm. Mejean et al., A VARIATIONAL METHOD FOR ANALYZING UNIT CLAUSE SEARCH, SIAM journal on computing, 24(3), 1995, pp. 621-649