Solving the Two-dimensional single stock size Cuting Stock Problem with SAT and MaxSAT | ScienceToStartup | ScienceToStartup