OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Year: 2005 Subject: SAT problem

Sort by Score Title Year -

1-1 from 1 results (0.022 seconds)

Title: A parallel search algorithm for the SAT
Author: Gil Costa, Graciela Verónica / Printista, Alicia Marcela / Reyes, Nora Susana / Marín, Mauricio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SAT / metric spaces / MPI / BSP / Search process / Parallel algorithms

Acceder

« Previous 1 Next »