Jose Larrubia

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

Carlos Ansótegui, Jose Larrubia, Chu Min Li, Felip Manyà
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. Ann. Math. Artif. Intell. 49 (1-4) (2007)
Carlos Ansótegui, Jose Larrubia, Felip Manyà
Boosting Chaff's Performance by Incorporating CSP Heuristics. CP (2003)