Julio Puente

	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	Diego Rodríguez-Losada	[1]
2	Pablo San Segundo	[1]
3	Cristóbal Tapia	[1]