Skip to main content
Solving the Two-dimensional single stock size Cuting Stock Problem with SAT and MaxSAT | Buildability Receipt | ScienceToStartup