Integrating Multi-Armed Bandit with Local Search for MaxSATJiongzhi Zheng,Kun He,Jianrong Zhou,Yan Jin,Chu-Min Li,Felip ManyàArtificial Intelligence(2025)引用 0|浏览4关键词Maximum satisfiability,Local search,Multi-armed bandit,Hybrid decimationAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要