Zenbakizko datuetan oinarritutako problema NP-Osoen Boolean SATisfiability problemarako laburketa bidezko ebazpenerako sistema

Abstract

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.