IJCAI

From Metaheuristics to Exact Methods: A CP-SAT Approach for Multi-Objective Healthcare Workforce Scheduling

从元启发式算法到精确方法：面向多目标医护人员排班的CP-SAT方法

Vipul Patel, Anirudh Deodhar, Dagnachew Birru

机构 * Phi Labs, Quantiphi（Quantiphi公司旗下Phi Labs） 纠错

AI总结 该研究针对医护排班问题，提出CP-SAT约束规划模型，可满足14个硬约束与15个软目标，在18个实例上验证了其零违规、最优性及可扩展性，服务质量较MOGA提升50-67%。

Comments 13 pages, 10 tables. Accepted at MODeM Workshop, IJCAI-ECAI 2026. Extends arXiv:2607.05177

RegionCache: Semantic-Aware Region Reuse for Efficient Multi-Turn Image Generation

RegionCache：面向高效多轮图像生成的语义感知区域复用

Peizheng Li, Xin Ai, Hanyuan Liu, Qiange Wang, Yanfeng Zhang

机构 * School of Computer Science and Engineering, Northeastern University（东北大学计算机科学与工程学院） 纠错

AI总结 针对多轮图像编辑中现有DiT方法的冗余计算问题，提出RegionCache框架，通过语义感知的区域复用实现1.43-2.55倍端到端加速且保持图像质量。

Comments Accepted at IJCAI 2026