该文汇总多项研究，涵盖算法选择决策树、DCSAT框架、对称学习、稳定婚姻与医院/住院医师问题的整数线性规划模型、两步检验框架、共享内存数据分配与任务调度、机器学习预测分子性质、ASP/约束编程/整数规划比较、TOPSIS软件可维护性预测及最大权独立集局部搜索算法。