首页 >
布尔可满足性问题
✍ dations ◷ 2025-02-23 14:16:14 #布尔可满足性问题
可满足性(英语:Satisfiability)是用来解决给定的真值方程式,是否存在一组变量赋值,使问题为可满足。布尔可满足性问题(Boolean satisfiability problem;SAT))属于决定性问题,也是第一个被证明属于NP完全的问题。此问题在计算机科学上许多领域的皆相当重要,包括计算机科学基础理论、算法、人工智能、硬件设计等等。SAT Solvers:Conferences/Publications:Benchmarks:SAT solving in general:
相关
- 热性痉挛热性痉挛(febrile convulsion),又称作又称作发烧性抽搐、热性抽搐、热性惊厥、热性全身痉挛,是一种癫痫性发作(英语:epileptic seizure),伴有体温升高的症状但是并无任何潜在的健康
- 阿卓糖阿卓糖(英语:Altrose)是一种己糖,D-阿卓糖是非自然形成的单糖。可溶于水,略溶于甲醇。L-阿卓糖已可从溶纤维丁酸弧菌(Butyrivibrio fibrisolvens)的变种中分离出来。阿卓糖是甘露糖
- 高尔顿·威拉德·奥尔波特高尔顿·威拉德·奥尔波特(Gordon Willard Allport,1897年11月11日-1967年10月9日)是一位美国心理学家。他出生于印地安纳州Montezuma,是弟兄四人中最年轻的一个。他的一位兄长弗
- 元谋人元谋人(学名:Homo erectus yuanmouensis),又称元谋猿人或元谋直立人,是在中国发现的直立人化石。1965年发现于云南元谋上那蚌村附近,共计左右门齿两颗。后来还发现了石器、炭屑、
- 阿里奥斯托阿里奥斯托(Ludovico Ariosto,1474年9月8日-1533年6月6日)意大利文艺复兴时诗人,代表作《疯狂的罗兰》(Orlando Furioso)。阿里奥斯托是雷焦艾米利亚一个富裕的贵族家庭的长子。尽
- 琉球水玉簪琉球水玉簪(学名:Burmannia liukiuensis)为水玉簪科水玉簪属下的一个种。
- 微小扇头蜱Boophilus microplus微小扇头蜱(Rhipicephalus microplus)为硬蜱科扇头蜱属下的一个种,在经济上地位重要,因为它会寄生在多个家畜的物种的身上,例如:牛只、水牛、马、驴、山羊、鹿
- Campylobacter jejuni空肠弯曲菌(Campylobacter jejuni)菌体轻度弯曲似逗点状,长1.5~5 μm,宽0.2~0.8 μm。菌体一端或两端有单鞭毛,运动活泼,在暗视野镜下观察似飞蝇。无荚膜,不形成芽胞。微需氧菌,在含5
- 盖瑞·贝克知识产权市场化自由放任小政府主义负所得税公开市场操作私有财产私有化经济主题加里·史丹利·贝克(英语:Gary Stanley Becker,1930年12月2日-2014年5月3日),美国著名经济学家,芝加
- MUC16· Golgi lumen · plasma membrane · integral to membrane· O-glycan processing · post-translational protein modificationCA-125(癌抗原-125或糖链抗原-125,英文:c