整数规划，理论与应用
整数规划是数学规划的重要分支，要求在变量取值均为整数的约束下求解最优解，其理论核心围绕线性整数规划、混合整数规划及0-1规划展开，涉及割平面法、分支定界法等经典算法，以及现代启发式算法如遗传算法，应用...
约束求解，理论与应用
约束求解（Constraint Solving）是计算机科学和人工智能领域的重要研究方向，旨在通过数学和逻辑方法在给定约束条件下寻找可行解或最优解，其理论基础涉及约束满足问题（CSP）、布尔可满足性（...