布尔可满足性问题

✍ dations ◷ 2025-07-14 16:18:15 #布尔可满足性问题
可满足性(英语:Satisfiability)是用来解决给定的真值方程式,是否存在一组变量赋值,使问题为可满足。布尔可满足性问题(Boolean satisfiability problem;SAT))属于决定性问题,也是第一个被证明属于NP完全的问题。此问题在计算机科学上许多领域的皆相当重要,包括计算机科学基础理论、算法、人工智能、硬件设计等等。SAT Solvers:Conferences/Publications:Benchmarks:SAT solving in general:

相关

  • 过敏性紫癜类过敏性紫斑(Anaphylactoid purpura)又名Henoch-Schönlein紫斑(Henoch-Schönlein purpura),是一种儿童多发的、主要波及小血管的血管炎,常见临床表现包括紫斑、消化道表现、关
  • 头孢唑啉头孢唑林(英语:Cefazolin,cefazoline 或 cephazolin),是一种用于治疗多种病原细菌的抗细菌药,尤其针对蜂窝组织炎、泌尿道感染、肺炎、心内膜炎、败血性关节炎及胆道发炎(英语:bilia
  • 硫酸镁硫酸镁(magnesium sulfate、magnesium sulphate),或无水硫酸镁,是一种含镁的化合物,分子式为MgSO4。无水的硫酸镁是一种常用的化学试剂及干燥试剂。其水溶液呈中性。但是硫酸镁常
  • 麹菌症See List of Aspergillus species麹菌属(Aspergillus)是一个由几百种多细胞霉菌菌种所组成的菌属,在许多气候条件下皆可发现它们的踪影。麹菌属于1729年被皮耶尔·安东尼奥·米
  • 电泳电泳是空间匀强电场作用下,分散粒子在流体中发生移动的现象。由于各物质的迁移速率有差别,故电泳是分离物质的常用方法。它又可分为:在盛有红褐色Fe(OH)3胶体的U形管的两个管口
  • 安东尼·范卢文霍克安东尼‧菲利普斯·范‧列文虎克(荷兰语:Antonie Philips van Leeuwenhoek;1632年10月24日-1723年8月26日)是一位荷兰贸易商与科学家,有光学显微镜与微生物学之父的称号。最为著名
  • 老人学老人学(英语:gerontology,也译作老年学)是指研究人类老化的生理层面、心理层面和社会层面等等。老化泛指有机体一生中的所有变化。按其年龄,老人可以分为以下三类:老化不等于疾病,
  • 费尼斯·盖吉费尼斯·盖吉(英语:Phineas Gage,1823年-1860年5月21日),美国铁路工头。他在一场意外事故中,被一支长铁棍由左下脸颊刺入,穿越左眼后方,再由额头上方头顶处穿出脑壳。他虽然奇迹似的
  • 信息时代信息时代通常也是指计算机时代或者数字时代。它是指在现时代,个人都有能力去自由传递信息,以及适时获取信息的这种特征,这在过去是很难或者不可能做到的。它和数字时代以及数字
  • 埃尔维斯·普雷斯利埃尔维斯·亚伦·普雷斯利(英语:Elvis Aaron Presley,1935年1月8日-1977年8月16日),是一位美国的歌手、音乐家和电影演员,被视为20世纪中最重要的文化标志性人物(英语:Cultural impac