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

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

34 (1)
37 (1)

Show More Show Less

Author

Gil Costa, Graciela Verónica (1)
Marín, Mauricio (1)
Printista, Alicia Marcela (1)
Reyes, Nora Susana (1)

Show More Show Less

Subject

SAT (2)
Algoritmos de Satisfacción (1)
BSP (1)
Ciencias Computacionales (1)
Ciencias Informáticas (1)
Ingeniería y Ciencias Aplicadas / Engineering & Applied Sciences (1)
MPI (1)
PMABG (1)
Parallel algorithms (1)
Satisfactibilidad (1)

Show More Show Less

Year

1999 (1)
2005 (1)
2012 (1)
2015 (1)

Show More Show Less

Document Type

Sin Especificar (2)

Show More Show Less

Language

Inglés (1)
Español (1)

Show More Show Less

Your search

Subject: SAT problem Subject: SAT Document Type: Sin Especificar

Sort by Score Title Year -

1-2 from 2 results (0.012 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
Title: Optimización Genética de Problemas SAT
Language: Español
Repository: 34
Subject: Satisfactibilidad / SAT / Algoritmos de Satisfacción / PMABG / Ciencias Computacionales / Ingeniería y Ciencias Aplicadas / Engineering & Applied Sciences

Acceder

« Previous 1 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723