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)
40 (1)
77 (1)

Show More Show Less

Author

Altamirano Carmona, Edgar (1)
Becerra Correa, Nelson (1)
Gil Costa, Graciela Verónica (1)
Mariño Valcarcel, Gabriel Alberto (1)
Marín, Mauricio (1)
Printista, Alicia Marcela (1)
Reyes, Nora Susana (1)
Silva Fajardo, Pedro Joaquín (1)

Show More Show Less

Subject

SAT (4)
Algoritmos de Satisfacción (1)
Apropiación social del conocimiento (1)
BSP (1)
Ciencias Computacionales (1)
Ciencias Informáticas (1)
Davis and Putnam (1)
Early warning system (1)
Earthquake (1)
Estructura (1)

Show More Show Less

Year

2019 (2)
1999 (1)
2005 (1)
2012 (1)
2013 (1)
2015 (1)

Show More Show Less

Document Type

Sin Especificar (2)
Artículo (1)
Desconocido (1)

Show More Show Less

Language

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

Show More Show Less

Your search

Subject: SAT problem Subject: SAT

Sort by Score Title Year -

1-4 from 4 results (0.012 seconds)

Title: FÓRMULAS CON SIGNO
Author: Becerra Correa, Nelson / Altamirano Carmona, Edgar
Language: Español
Repository: 77
Subject: Multi-valuable logic / SAT / Davis and Putnam / multivaluable formulas / regular formula.

Acceder
Title: Semillero de investigación : sistemas de alerta temprana para sismos
Author: Mariño Valcarcel, Gabriel Alberto / Silva Fajardo, Pedro Joaquín
Language: Desconocido
Repository: 40
Subject: Sismo / Estructura / Sistema de alerta temprana / Prototipo didáctico / Apropiación social del conocimiento / Tipología estructural / Earthquake / Structure / Early warning system / Structural typology / Vulnerability / Ingeniería civil / Predicción sísmica / SAT

Acceder
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