Zenbakizko datuetan oinarritutako problema NP-Osoen Boolean SATisfiability problemarako laburketa bidezko ebazpenerako sistema
View/ Open
Date
2023-11-28Author
Oyarbide Goicoechea, Mikel
Metadata
Show full item recordAbstract
Subset Sum eta Knapsak problemetatik SAT problemarako laburketa sistema garatu da. Ondoren, web aplikazio bat sortu da, bi problema hauek ebazten dituena, eta, emaitza grafikoki iruduikatzen da. Euskaraz egin da proiektua.