首页 >
布尔可满足性问题
✍ dations ◷ 2025-11-19 18:05:15 #布尔可满足性问题
可满足性(英语:Satisfiability)是用来解决给定的真值方程式,是否存在一组变量赋值,使问题为可满足。布尔可满足性问题(Boolean satisfiability problem;SAT))属于决定性问题,也是第一个被证明属于NP完全的问题。此问题在计算机科学上许多领域的皆相当重要,包括计算机科学基础理论、算法、人工智能、硬件设计等等。SAT Solvers:Conferences/Publications:Benchmarks:SAT solving in general:
相关
- 拉比拉比(רַבִּי, Rabbi),有时也写作辣彼,是犹太人的特别阶层,主要为有学问的学者,是老师,也是智者的象征。犹太人的拉比社会功能广泛,尤其在宗教担当重要角色,为许多犹太教仪式
- 置信区间在统计学中,一个概率样本的置信区间(英语:Confidence interval,CI),是对产生这个样本的总体的参数分布(Parametric Distribution)中的某一个未知参数值,以区间形式给出的估计。相对于
- 抗双链DNA抗体抗双链DNA抗体(英语:Anti-dsDNA antibodies)是抗核抗体(Anti-nuclear antibody,ANA)中的一种,其靶标的抗原是双链DNA。一些血液检测如酶联免疫吸附试验(ELISA)和免疫荧光可在诊断实验
- 稳态稳态(英语:homeostatic,又称恒定状态或恒定性)是指在一定外部环境范围内,生物体或生态系统内环境有赖整体的器官的协调联系,得以维持体系内环境相对不变的状态,保持动态平衡的这种
- β衰变β衰变,或称贝塔衰变,是放射性原子核放射电子(β粒子)和反中微子而转变为另一种核的过程。1896年,亨利·贝克勒发现铀的放射性;1897年,欧内斯特·卢瑟福和约瑟夫·汤姆孙通过在磁场
- 塔林塔林(爱沙尼亚语:Tallinn)是波罗的海最内部的芬兰湾滨的爱沙尼亚共和国的首都。旧称列巴尔(德语、丹麦语: Reval),沙俄时代名为列威利(Ревель),前苏联时代名为塔林(Таллин
- 诗人诗人是创作诗歌的人,属于文学家一类。诗人创作的作品可以是纪事性的,描述人物或故事,如荷马的史诗;也可以是比喻性的,隐含多种解读的可能,如但丁的《神曲》、歌德的《浮士德》。历
- 波吉亚寓所波吉亚寓所(意大利语:Appartamento Borgia)是梵蒂冈使徒宫内的一组房间。波吉亚寓所曾是亚历山大六世(罗德里戈·波吉亚)的寓所。在15世纪末,他委托意大利画家平托瑞丘和他的工作
- 天空实验室天空实验室(Skylab)是美国国家航空航天局于1973年至1979年进行的首次空间站计划。1973年到1974年间,曾有三批航天员到空间站内进行实验。天空实验室内部天空实验室外部主舱段S-
- FeS硫化亚铁(化学式:FeS)是铁(II)的硫化物,标准状态下为黑褐色难溶于水的六方晶系晶体,具有非计量性质。它易被空气氧化,生成高价的铁氧化物(如四氧化三铁)和硫。粉末状的硫化亚铁会发
