A randomized algorithm for solving the satisfiability problem

Cecchi, Laura Andrea

Título:
A randomized algorithm for solving the satisfiability problem
Nombre personal (NR):
Cecchi, Laura Andrea
Articulo de: 
SIN TÍTULO
Extensión (R):
p. 1269-1278

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