A Branch-and-Cut Algorithm for Nesting Problems with Guillotine Constraints | Synapse