Browsing Recolecta by Author "De la Cruz Odriozola, Sua"
Now showing items 1-1 of 1
-
Knot problemarako instantzia sortzaile eta boolean satisfiability solver bidezko ebazlea
De la Cruz Odriozola, Sua (2023-11-28)[EU] Dot Knot jokoko irudi bat prozesatuz, SAT ebazle baten bidez problemaren ebazpena lortzea da helburu, paralelizazioaz baliatuz eraginkortasuna hobetzeko.