布尔可满足性问题
可滿足性(英語:Satisfiability)是用來解決給定的真值方程式,是否存在一组变量赋值,使問題为可满足。布尔可滿足性問題(Boolean satisfiability problem;SAT )屬於決定性問題,也是第一个被证明屬於NP完全的问题。此問題在電腦科學上許多的領域皆相當重要,包括電腦科學基礎理論、演算法、人工智慧、硬體設計等等。
直观描述编辑
- 对于一个确定的逻辑电路,是否存在一种输入使得输出为真。
参见编辑
外部連結编辑
SAT Solvers:
- Chaff (页面存档备份,存于互联网档案馆)
- HyperSAT (页面存档备份,存于互联网档案馆)
- Spear (页面存档备份,存于互联网档案馆)
- The MiniSAT Solver (页面存档备份,存于互联网档案馆)
- UBCSAT
Conferences/Publications:
- SAT 2007: Tenth International Conference on Theory and Applications of Satisfiability Testing (页面存档备份,存于互联网档案馆)
- Journal on Satisfiability, Boolean Modeling and Computation
- Survey Propagation
Benchmarks:
- Forced Satisfiable SAT Benchmarks (页面存档备份,存于互联网档案馆)
- IBM Formal Verification SAT Benchmarks
- SATLIB (页面存档备份,存于互联网档案馆)
- Software Verification Benchmarks (页面存档备份,存于互联网档案馆)
SAT solving in general:
🔥 Top keywords: Baike: 首页Special:搜索九龍城寨之圍城淚之女王2024年湯姆斯盃背着善宰跑不夠善良的我們安東尼·愛德華茲 (籃球運動員)金智媛2024年優霸盃胖猫跳江事件伍允龍金秀賢 (男演員)九龍寨城劉俊謙 (香港)怪獸8號春色寄情人汤姆斯杯虽然不是英雄Energy (組合)逆天奇案2习近平我的婆婆怎麼那麼可愛排球少年!!角色列表邊佑錫为人民服务 (2022年电影)Seventeen (組合)張文傑排球少年!!草蜢 (組合)2012搜查班長1958六四事件母亲节乘風2024破墓ILLITWIND BREAKER—防風少年—城市猎人 (2024年电影)支配物种與鳳行歐倩怡BOYNEXTDOOR鄧麗君达柳斯·莫里斯BABYMONSTER中华人民共和国承欢记中華民國胡子彤金惠奫城市猎人周處除三害 (電影)蔡一智蔡一傑郭晉安迷宮飯2024年英雄联盟季中邀请赛IVE (組合)沒有秘密蘇志威周雨彤尤伯杯五月天葬送的芙莉蓮哥吉拉-1.0許瑋甯草榴社区朴成焄日本千玗嬉香港(G)I-DLE林依晨李主儐李琳琳五四运动完全省錢戀愛手冊习明泽林峯鈴木亮平三流之路夜晚的水母不會游泳郭葦昀三体 (小说)李现幕府將軍 (2024年電視劇)白鹿 (演員)毛泽东張員瑛郑保瑞白紙運動立夏嚴爵星汉灿烂·月升沧海莊祖宜無職轉生~到了異世界就拿出真本事~THE NEW GATE張書偉