Knot problemarako instantzia sortzaile eta boolean satisfiability solver bidezko ebazlea

Abstract

[EU] Dot Knot jokoko irudi bat prozesatuz, SAT ebazle baten bidez problemaren ebazpena lortzea da helburu, paralelizazioaz baliatuz eraginkortasuna hobetzeko.

[ES] Teniendo una imagen del juego Dot Knot, el objetivo del trabajo es conseguir la solución del problema a través de un resolutor SAT, utilizando la paralelización con el fin de mejorar el rendimiento.