Jose Larrubia

	2007
2		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): 191-205 (2007)
	2003
1		Carlos Ansótegui, Jose Larrubia, Felip Manyà: Boosting Chaff's Performance by Incorporating CSP Heuristics. CP 2003: 96-107

Coauthor Index

1	Carlos Ansótegui	[1] [2]
2	Chu Min Li	[2]
3	Felip Manyà	[1] [2]