SAT问题

作品数：129被引量：345H指数：9
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：许道云王晓峰唐璞山贺毅朝焦李成更多>>
相关机构：贵州大学西南交通大学华中科技大学吉林大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
伪布尔约束的一种模型计数方法
《计算机科学》2024年第S02期150-154,共5页郑苏豪 牛秦洲 陶小梅 
国家自然科学基金(61906051)。
伪布尔约束问题是一类与布尔约束问题相似的组合优化难题。解决这类问题的核心在于以不同的数学形式对伪布尔约束进行编码,例如线性规划、整数规划以及其他形式的组合优化。当前流行的解决方法是将问题转化为布尔公式,然后运用冲突导向...
关键词：伪布尔约束 SAT问题 模型计数 知识编译 子句 
基于SAT问题实例特性的端到端SAT求解模型
《计算机应用研究》2024年第11期3376-3381,共6页龙峥嵘 李金龙 梁永濠 
当前基于神经网络的端到端SAT求解模型在各类SAT问题求解上展现了巨大潜力。然而SAT问题难以容忍误差存在,神经网络模型无法保证不产生预测误差。为利用SAT问题实例特性来减少模型预测误差,提出了错误偏好变量嵌入架构(architecture of ...
关键词：布尔可满足性问题 消息传递网络 机器学习 
随机正则恰当(d,k)-SAT问题的可满足相变分析
《华中科技大学学报（自然科学版）》2024年第11期85-92,共8页王晓峰 王军霞 
国家自然科学基金资助项目(62062001);宁夏青年拔尖人才培养项目(2021)。
为深入理解随机正则恰当(d,k)-SAT问题难解的内在本质,理清相变与难解之间的变化规律,进一步设计高效的求解算法,引入随机正则恰当可满足性实例产生模型,采用一阶矩和二阶矩方法分析了该问题的相变情况,给出了正则恰当(d,k)-SAT问题的...
关键词：随机正则恰当(d k)-SAT问题 一阶矩 二阶矩 可满足性问题 相变分析 
求解加权偏MaxSAT问题的通用子句加权方法
《计算机学报》2024年第6期1341-1354,共14页郑迥之 何琨 
国家自然科学基金项目(U22B2017)资助.
最大可满足性问题(Maximum Satisfiability Problem,MaxSAT)是著名的可满足性问题(Satisfiability Problem,SAT)的优化形式,也是一个经典的NP难组合优化问题.加权偏MaxSAT(Weighted Partial MaxSAT,WPMS)是最一般的一类MaxSAT问题,其中...
关键词：最大可满足性问题 局部搜索 子句加权技术 历史信息 
可满足性问题的结构特征进展综述被引量：1
《郑州大学学报（工学版）》2023年第6期40-47,共8页王晓峰 庞立超 莫淳惠 杨易 赵星宇 杨澜 
国家自然科学基金资助项目(62062001);宁夏自然科学基金资助项目(2020AAC03214);宁夏青年拔尖人才项目(2021)。
可满足性(SAT)问题是人工智能的基础问题,也是NP难问题,在机器学习、模式识别和自然语言处理等领域有着实际应用。然而,随着人工智能发展,越来越多的问题呈现出更为复杂的形态,原有的算法不再适用,需进一步优化或者改进,这对基础研究提...
关键词：SAT问题 相变 树分解 结构熵 DNA折纸术 
基于近期文字极性分配的学习子句评估算法
《计算机工程与科学》2023年第11期1941-1948,共8页冯心妍 吴贯锋 张丁荣 王恪铭 
国家自然科学基金(62106206)。
为了维护学习子句数据库的大小,并以合理的成本执行单元传播,在SAT求解器求解过程中需要对学习子句进行评估,从而删除对求解过程无用的子句。因此,需要对学习子句数据库进行动态管理,包含对学习子句的分析和删除等,并提出新的评估子句...
关键词：SAT问题 子句评估策略 CDCL 学习子句 
电子科技大学计算机(网安)学院算法与逻辑团队在Information and Computation上发表研究成果
《信息网络安全》2023年第10期38-38,共1页
近日,电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑团队2021级博士生彭俊强以第一作者身份在CCF理论计算机科学领域A类期刊Information and Computation(I&C)上发表题为“Further Improvements for SAT in Terms of F...
关键词：理论计算机科学 网络空间安全 电子科技大学 计算复杂性 计算机科学与工程 SAT问题 作者身份 第二作者 
多文字可满足SAT问题的相变点上界
《计算机工程与科学》2022年第7期1282-1290,共9页芦磊 王晓峰 梁晨 张九龙 
国家自然科学基金(62062001,61762019,61862051,61962002);北方民族大学创新项目(YCX21083);宁夏自然科学基金(2020AAC03214,2020AAC03219,2019AAC03120,2019AAC03119)。
可满足(SAT)问题是指:是否存在一组布尔变元赋值,使得随机合取范式(CNF)公式中每个子句至少有1个文字为真。多文字可满足SAT问题是指:是否存在一组布尔变元赋值,使得随机CNF公式中每个子句至少有2个文字为真。此问题仍然是一个NP难问题...
关键词：多文字可满足 SAT问题 不满足阈值 相变点上界 合取范式 
改进的模拟退火算法求解规则可满足性问题被引量：7
《现代电子技术》2022年第5期122-128,共7页张九龙 王晓峰 芦磊 牛鹏飞 程亚南 
国家自然科学基金资助项目(62062001);北方民族大学重大专项资助(ZDZX201901);宁夏自然科学基金项目(2020AAC03214,2020AAC03219,2019AAC03120,2019AAC03119);北方民族大学校级科研一般项目(2019XYZJK05)。
对于随机k-SAT问题,限定每个变元出现的次数恰好出现d次,形成随机规则(k,d)-SAT问题,目前国内外对该问题的相关研究较少,且研究随机规则(k,d)-SAT问题比研究k-SAT问题更为具体。文中给出一种随机规则(k,d)-SAT问题的生成实例模型——RRI...
关键词：模拟退火算法 规则可满足问题 随机正则(k d)-SAT 启发式策略 随机3-SAT问题 Metropolis接受准则 规则可满足性实例生成模型 
随机均衡正则恰当(2s,k)-SAT问题的可满足相变被引量：3
《华中科技大学学报（自然科学版）》2022年第2期105-111,共7页王晓峰 于卓 周锦程 许道云 
国家自然科学基金资助项目(62062001,61762019,61862051,61962002);宁夏自然科学基金资助项目(2020AAC03214,2020AAC03219);北方民族大学重大专项资助项目(ZDZX201901).
为深入理解均衡正则恰当(2s,k)-SAT问题的判定难度和可满足性解的分布情况,引入随机实例产生模型,利用一阶矩和二阶矩方法分析可满足性相变现象,给出随机均衡正则恰当(2s,k)-SAT问题可满足的相变点s∗.当s
关键词：均衡正则恰当(2s k)-SAT问题 相变分析 可满足性问题 一阶矩 二阶矩 
全选清除导出
共13页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部