A parallel search algorithm for the SAT

Título:

A parallel search algorithm for the SAT

Nombre personal (NR):

Marín, Mauricio

Articulo de: 

CACIC 2005 [CD-ROM] / Congreso Argentino de Ciencias de la Computación (11er : 2005 : Concordia) / Edición: 1a ed. (2005) (Libro)

Puede solicitar más fácilmente el ejemplar con: CD 235