Encyclopedia cutting stock problem here.