布尔可满足性问题

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

相关

  • 宫颈癌子宫颈癌又称宫颈癌(英语:Cervical cancer),为发生在子宫颈的癌症 ,源自于不正常细胞的生长,甚至能侵袭或转移至身体其他部位。早期通常并不会有症状,而晚期时可能有不正常的阴道出
  • ICD-9编码列表 (580–629)医学导航:泌尿系统解剖/生理/发育/细胞病理/酸碱/先天/肿瘤、症状/齐名、尿液手术/注射、药物(G4B)、血检、尿检
  • 耳鼻喉科耳鼻喉科学(Otorhinolaryngology /oʊtoʊˌraɪnoʊˌlærənˈɡɒlədʒi/;亦称为:otolaryngology-head and neck surgery)是一门医学专科,专门研究耳、鼻、喉病变的诊断及治
  • 麦角菌约50种, 包括: C. africana C. fusiformis 雀稗麦角菌 C. paspali C. purpurea C. sorghi C. zizaniae麦角是谷类作物(如小麦)被真菌感染所形成的黑色子实体。它是由多种叫做
  • 血液检验项目正常参考值范围#血液学血液检验项目正常参考值范围(英语:Reference ranges for blood tests),指的是医疗保健专家从血液样品中选取的一组用来描述医疗检验结果的正常参考值。血液检验的测量值在临床中
  • 脱氧糖脱氧糖(英语:Deoxy sugars)是指糖分子中有一个羟基被氢原子所替代的糖。例子包括:果聚糖:菊粉 · 果聚糖β2→6甘露聚糖:低聚木糖:半乳聚糖:
  • 苏消安苏消安(英语:Treosulfan,又称曲奥舒凡)是一种正在研究的治疗癌症的药物。 它属于烷化剂。卤化/核糖核苷酸还原酶抑制剂(克拉屈滨、克罗拉滨、氟达拉滨、奈拉滨)聚合酶链式反应抑制
  • 马达蛋白马达蛋白是一类分子马达,它们可以沿着合适底物的表面进行移动。马达蛋白是利用ATP水解所产生的化学能量转化为自身的运动。马达蛋白是细胞内物质运输颗粒和囊泡的载体。马达
  • 炸药爆炸物是在一定的外界能量的作用下,由自身能量发生爆炸的物质。一般情况下,炸药的化学及物理性质稳定,但不论环境是否密封,药量多少,甚至在外界零供氧的情况下,只要有较强的能量(包
  • 传统基金会传统基金会(英语:Heritage Foundation)成立于1973年,总部设于美国华盛顿哥伦比亚特区,智库在美国总统雷根任内扮演保守派领导角色(雷根的政策出自传统基金会的政策研究领导授权系