TY  - THES
AU  - Aedo Díaz, Beatriz
AU  - López-Mingo, Claudia
A3  - Rubio Gimeno, Alberto
PY  - 2024
UR  - https://hdl.handle.net/20.500.14352/106794
AB  - La super-optimización es una técnica que busca encontrar la secuencia de instrucciones óptima a una dada explorando secuencias equivalentes. Esta técnica es muy efectiva resolviendo optimizaciones complejas, pero implementarla es muy costosa...
AB  - Super-optimization is a technique that seeks to find the optimal instruction sequence for a given one by exploring equivalent sequences. This technique is very effective in solving complex optimizations but implementing it is very demanding...
LA  - spa
KW  - EVM
KW  - Wasm
KW  - Super-optimización
KW  - MiniZinc
KW  - Optimización
KW  - Restricción
KW  - Super-optimization
KW  - Optimization
KW  - Constraint
TI  - Síntesis de código de bajo nivel mediante programación con restricciones
T2  - Low-level code synthesis using constraint programming
M3  - bachelor thesis
ER  -