带自定义生成矩形约束的二维背包问题求解咨询

我是运筹学（OR）新手，这是我在Stack Overflow的第一个问题。

我现在需要解决一个带特殊约束的二维矩形背包完全填充问题：

• 要求完全填满背包空间
• 允许生成满足最小宽高及宽高比要求的矩形来填充空隙，且这类生成矩形的权重低于现有矩形

目前我用Python的ortools.sat.python.cp_model实现了CP-SAT模型，能求解常规装箱问题并得到可行最优解，但背包剩余空隙的填充问题还没解决。

现在最直接的办法是生成大量不同尺寸的矩形加入变量列表，并赋予它们较低权重，但我想找更高效的优化方案。

补充说明：截图中，带两个红色矩形的空隙适合生成符合要求的填充矩形，但被划掉的空隙要么尺寸过小，要么过于狭长，不符合生成条件。

恳请各位帮忙，有不清楚的地方随时问我。

内容的提问来源于stack exchange，提问作者Felix Burmester