- -

Algoritmos para SAT basados en la representación de tablas booleanas

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

Algoritmos para SAT basados en la representación de tablas booleanas

Show full item record

Collado Ponce, M. (2024). Algoritmos para SAT basados en la representación de tablas booleanas. Universitat Politècnica de València. http://hdl.handle.net/10251/210764

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/210764

Files in this item

Item Metadata

Title: Algoritmos para SAT basados en la representación de tablas booleanas
Secondary Title: Algorithms for SAT based on the representation of Boolean tables
Algorismes per a SAT basats en la representació de taules booleanes
Author: Collado Ponce, Manuel
Director(s): Sempere Luna, José María Moral Callejón, Serafín
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Read date / Event date:
2024-10-03
Issued date:
Abstract:
[ES] El problema SAT (satisfacibilidad en lógica proposicional) es muy importante, ya que fue el primer problema que se probó que era NP-completo y muchos otros problemas se resuelven mediante su reducción a SAT. Es por ...[+]


[EN] The SAT (satisfiability in propositional logic) problem is very important as it was the first problem proven to be NP-complete and many other problems are solved by reducing it to SAT. That is why a great effort is ...[+]
Subjects: SAT , Satisfacibilidad , Numpy , NP-completo , Tablas Booleanas , Backtraking no-cronológico , Aprendizaje de cláusulas , Clause learning , Solver , Polinómico , Máquina de Turing , Complejidad computacional , Camino hamiltoniano , Sudoku , Satisfiability , Boolean tables , Non-chronological backtraking , Polynomial , Turing machine , Computational complexity
Copyrigths: Cerrado
Publisher:
Universitat Politècnica de València
degree: Grado en Ingeniería Informática-Grau en Enginyeria Informàtica
Type: Proyecto/Trabajo fin de carrera/grado

recommendations

 

This item appears in the following Collection(s)

Show full item record