标签
一篇针对最小红蓝分离集问题提出整数线性规划（ILP）、贪婪随机自适应搜索过程（GRASP）、基于逻辑的 Benders 分解（LBBD）以及一种新颖的分支与 Benders 割方法的论文，并将其应用于通过基于词汇的图特征区分人类撰写的文本与 AI 生成的文本。