• 【软件学报】_约束满足_...
• 【软件学报】_逻辑分析_...
• 【软件学报】_启发式算法...
• 【软件学报】_全局优化_...
• 【软件学报】_信息融合_...