Ir directamente a la navegación principal
Ir directamente a la búsqueda
Ir directamente al contenido principal

Portal de Investigación de la Universitat Autònoma de Barcelona Inicio

Ayuda y preguntas frecuentes

Inicio
Perfiles
Unidades de investigación
Proyectos
Producción científica
Conjuntos de datos
Tesis y Trabajos supervisados

Buscar por experiencia, nombre o afiliación

Beyond the structure of SAT formulas

Tesis doctoral

Fecha de lectura	25 may 2016
Idioma original	Indefinido/desconocido
Supervisor	Jordi Levy Díaz (Director/a)

Citar esto

Standard
Short
Compact

Beyond the structure of SAT formulas

Jesús Giráldez Crú (Autor/a). 25 may 2016

Tesis doctoral

Beyond the structure of SAT formulas

Jesús Giráldez Crú (Autor/a), Levy Díaz, J. (Director/a), 25 may 2016

Tesis doctoral

Beyond the structure of SAT formulas

Tesis doctoral

Energizado porPure, Scopus & Elsevier Fingerprint Engine™

Todo el contenido de este sitio: Copyright © 2025 Portal de Investigación de la Universitat Autònoma de Barcelona, sus licenciantes y los colaboradores. Todos los derechos reservados, incluidos los de extracción de texto y datos, entrenamiento de IA y tecnologías similares. Se aplican los términos de licencia relevantes a todo el contenido de acceso abierto.

Utilizamos cookies para ayudar a brindar y mejorar nuestro servicio y ajustar el contenido a la medida del usuario. Si continúa, acepta el uso de cookies

Iniciar sesión en Pure

Política de protección de datos de Portal de Investigación de la Universitat Autònoma de Barcelona

Acerca de la accesibilidad web

Reporte vulnerabilidad

Comuníquese con nosotros

'