Cristóbal Tapia

	2008
1		Pablo San Segundo, Cristóbal Tapia, Julio Puente, Diego Rodríguez-Losada: A New Exact Bit-Parallel Algorithm for SAT. ICTAI (2) 2008: 59-65

Coauthor Index

1	Julio Puente	[1]
2	Diego Rodríguez-Losada	[1]
3	Pablo San Segundo	[1]