Boosting Chaff's Performance by Incorporating CSP Heuristics. - Carlos Ansótegui; Jose Larrubia; Felip Manyà (CP, 2003)

Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. - Carlos Ansótegui; Jose Larrubia; Chu Min Li 001; Felip Manyà (Ann. Math. Artif. Intell., 2007)