首页 >
布尔可满足性问题
✍ dations ◷ 2025-06-27 23:37:06 #布尔可满足性问题
可满足性(英语:Satisfiability)是用来解决给定的真值方程式,是否存在一组变量赋值,使问题为可满足。布尔可满足性问题(Boolean satisfiability problem;SAT))属于决定性问题,也是第一个被证明属于NP完全的问题。此问题在计算机科学上许多领域的皆相当重要,包括计算机科学基础理论、算法、人工智能、硬件设计等等。SAT Solvers:Conferences/Publications:Benchmarks:SAT solving in general:
相关
- 轮状病毒轮状病毒(Rotavirus,简称RV)是一种双链核糖核酸病毒,属于呼肠孤病毒科。它是引起婴幼儿腹泻的最常见原因,几乎世界上小孩在大约五岁时都曾感染过轮状病毒至少一次。然而,每一次感
- 时间生物学时间生物学(英语:chronobiology;字首来自希腊语chronos,指时间)又译生物钟学,广为人知的生理时钟。是一门科学,它的任务是研究生物体内与时间有关的周期性现象,或曰这些现象的时间机
- Amantadine金刚烷胺(英语:Amantadine,常用名金刚胺)是美国FDA所批准的抗病毒和抗帕金森病药。金刚乙胺与金刚烷胺有着相似的结构和性质。根据美国疾病控制与预防中心的数据,100%的季节性H3N
- 69式69式,是对一组性交体位的统称,指两人调整姿势,使各自的口部都靠近对方的生殖器,从而互相口交。“相互同时口交通常在英语中以委婉的法语数字形式“soixante-neuf””表示,古代中
- 茶油茶油是油茶籽油的简称,又名山茶油、茶籽油,是从山茶科山茶属油茶物种成熟种子中提取的纯天然高级食用植物油。油茶籽含油率一般为25%~35%,所榨出的油茶籽油主要含油酸、亚油酸等
- 厂厂部,就汉字索引来说,是为部首之一,康熙字典214个部首中的第二十七个(两划的则为第二十一个)。简体字将廠字(俗作厰)简化为厂,两字同形。厂部归于两划部首。厂部通常是从左上方为部
- 蛋白质结构预测蛋白质结构预测(英语:Protein structure prediction)是指从蛋白质的氨基酸序列中预测蛋白质的三维结构。也就是说,从蛋白质的一级结构预测它的折叠和二级、三级、四级结构。结
- 炸炸,又称油炸、爆香(英语:Deep frying或deep fat frying),是一种将食物放入高温食用油中浸泡的烹饪方法。通常在油炸锅(英语:Deep fryer)或薯片盘(英语:chip pan)中进行,工业上则多以压力
- 葡萄牙人葡萄牙人(葡萄牙语:os portugueses)是欧洲的一个民族。主要居住在欧洲西南部伊比利亚半岛西端的葡萄牙和拉丁美洲的巴西。葡萄牙人以葡萄牙语为母语。多信奉天主教,天主教仍是葡
- 加冕加冕,是指将代表权力之冠冕戴上的一种仪式,加冕礼是在君主的头上放置或赠予王冠的行为。 这个术语通常不仅指物理冠冕,而且指整个仪式,其中冠状物的行为发生,以及其他物品的呈现,