NLocalSAT（非本地卫星） swMATH ID: 40123 软件作者： 张文杰、孙泽瑜、朱启浩、葛丽、蔡少伟、熊英飞、张璐 说明： NLocalSAT：通过解决方案预测促进本地搜索。布尔可满足性问题（SAT）是计算机科学中一个著名的NP-完全问题。解决可满足SAT问题的一种有效方法是随机局部搜索（SLS）。然而，在这种方法中，初始化是以随机的方式分配的，这影响了SLS解算器的有效性。为了解决这个问题，我们建议使用NLocalSAT。NLocalSAT将SLS与解决方案预测模型相结合，该模型通过使用神经网络更改初始化分配来提高SLS。我们使用2018年SAT竞赛随机轨道中的实例，对五个SLS解算器（CCAnr、Sparrow、CPSparrow、YalSAT和probSAT）上的NLocalSAR进行了评估。实验结果表明，使用NLocalSAT的解算器可以达到27 主页： https://arxiv.org/abs/2001.09398 源代码： https://github.com/myxxxsquared/NLocalSAT 关键词： 人工智能;arXiv_cs。人工智能;NLocalSAT（本地SAT）;坐;随机局部搜索;SLS公司;SAT竞赛 相关软件： CCAnr公司;YalSAT卫星;玲玲;褶皱;OR-醇;PRMLT公司;神经卫星;SCIP公司;伦敦银行支持向量机;古罗比;MIPLIB公司;贝叶斯优化;青蒿素;LKH公司;亚当;超小卫星;FourierSAT公司;水晶球;钙DiCaL;Treengeling公司 引用于： 3文件 标准条款 1出版物描述软件 年份 NLocalSAT：通过解决方案预测促进本地搜索arXiv公司张文杰、孙泽瑜、朱启浩、葛丽、蔡少伟、熊英飞、张璐 2020 全部的 前5名11位作者引用 1 阿明·比尔 1 尼古拉斯·埃夫提米奥 1 安德烈亚斯·恩斯特（Andreas T.Ernst）。 1 安德烈亚斯·弗里奇（Andreas M.Fröhlich）。 1 Heule，Marijn J.H。 1 李晓东 1 刘振军 1 沃伊切赫·纳罗基 1 沈云庄 1 孙、袁 1 尼尔·约克-史密斯 连载1篇 1 欧洲运筹学杂志 在2个字段中引用 2 计算机科学（68至XX） 2 运筹学、数学规划（90-XX） 按年份列出的引文