TY  - THES
AU  - Hernández Cerezo, Alejandro
A3  - Martí Oliet, Narciso
A3  - Verdejo López, José Alberto
PY  - 2020
UR  - https://hdl.handle.net/20.500.14352/254
AB  - El problema de satisfactibilidad booleana (SAT) consiste en determinar si existe o no una asignación válida de variables que satisfaga un conjunto de fórmulas lógicas. Este problema es un problema clásico de las ciencias de la computación, siendo el...
AB  - The Boolean satisfiability problem (SAT) consists of determining whether there exists an assignment that satisfies a given Boolean formula. SAT is a classic computer science problem, as it was the first problem proven to be NP-complete. SAT has also...
LA  - spa
KW  - Backjump
KW  - Conflict-driven clause learning
KW  - Algoritmo DPLL
KW  - Estrategias
KW  - Lógica de reescritura
KW  - Maude
KW  - Unique Implication Point
KW  - SAT
KW  - DPLL algorithm
KW  - Strategies
KW  - Rewriting Logic
TI  - Estrategias para la implementación de algoritmos de satisfactibilidad en lógica de reescritura
T2  - Strategies for implementing SAT algorithms in rewriting logic
M3  - bachelor thesis
ER  -