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

Subject: Environments Subject: NP-completo Language: Español Year: 2006

Sort by Score Title Year -

1-1 from 1 results (0.008 seconds)

Title: Un ambiente integrado de ejecución para determinar la satisfacibilidad de fórmulas en forma normal conjuntiva
Author: Funez, Dario / Roggero, Patricia / Leguizamón, Guillermo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / DPLL / Neural nets / Davis-Putnam / Environments / NP-completo / Algorithms

Acceder

« Previous 1 Next »