英语音标英式：[ˈseksɪveɪlənt]美式：[ˈseksɪveɪlənt]英语翻译adj.六价的英语例句"lead,cadmium,sexivalentc...
2026-04-01
satisfiability是什么意思
2026-04-01
英语语法
【摘要】：英语音标英式：[sætɪsfaɪəˈbɪlɪtɪ]美式：[sætɪsfaɪəˈbɪlɪtɪ]英语翻译可满足性英语例句Thesatisfiabilityprobl
英语音标
英式：[sætɪsfaɪəˈbɪlɪtɪ]
美式：[sætɪsfaɪəˈbɪlɪtɪ]
英语翻译
可满足性
英语例句
Thesatisfiabilityproblemofconjunctionnormalform(abbreviateSATproblem)isanNP_completeproblem.合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
Thesatisfiabilityproblemisakeyproblemincomputerscienceandartificialintelligence.这是计算机科学和人工智能中的重要问题之一。
TheresearchofthispaperisbasedontheBooleanSatisfiability(SAT)Problemofcombinationalcircuit.本文研究工作是针对可满足问题（SAT）在组合电路验证和测试中的应用展开的。
Binarydecisiondiagram(BDD)andBooleansatsatisfiability(SAT)arecommontechniquesoflogiccircuit-basedBooleanreasoningscheme.摘要在基于逻辑电路的布尔推理过程中，经常用到二叉判决图(BDD)与布尔可满足性(SAT)相结合的算法。
Anothergoaloftheprojectistofindgoodmethodsforcheckingthesatisfiabilityoffirst-orderformulas(infinitedomains).本项目还研究了逻辑公式的可满足性判定问题。
Inrecentyears,theBooleanSatisfiability(SAT)Problem,whichisafoundationalproblemofverification,hasmadeagreatadvance.本文分析了现有的电路可满足性验证工具的优缺点，针对验证中学习效率的瓶颈提出了改进的方法，能够更加合理地利用电路现有的信息。
本文链接：http://www.pqxf.cn/yyyf/a40a83b7f41308a4e575b7676f5c6fc1.html
上一篇：sexivalent是什么意思
下一篇：返回列表
相关文章
- 详细阅读
- catastrophe是什么意思详细阅读
英语音标英式：[kəˈtæstrəfi]美式：[kəˈtæstrəfi]英语翻译n.大灾难；大祸；彻底失败英语例句用作名词(n.)Theearthquakewa...
2026-04-01
- reserve是什么意思详细阅读
英语音标英式：[rɪˈzɜːv]美式：[rɪˈzɝv]英语翻译vt.保留；预订；延期n.候补；预备品；贮存n.含蓄；克制英语例句用作及物动词(vt.)Weres...
2026-04-01
- attained是什么意思详细阅读
英语音标英式：[əˈteɪnd]美式：[əˈteɪnd]英语翻译v.达到；获得vbl.达到；获得英语例句用作动词(v.)Wehopethisobjectivew...
2026-04-01
- braille是什么意思详细阅读
英语音标英式：[breɪl]美式：[breɪl]英语翻译n.布莱叶(法国盲人教育家；盲文点写法的设计者)；布莱叶盲文；点字法vt.用点字印刷或书写英语例句用作名...
2026-04-01
- parky是什么意思详细阅读
英语音标英式：[ˈpɑːki]美式：[ˈpɑːrki]英语翻译adj.寒冷的；很冷的英语例句Theconditioncanalsobecausedbytakin...
2026-04-01
- bakeware是什么意思详细阅读
英语音标英式：[ˈbeɪkweər]美式：[ˈbeɪkwer]英语翻译n.烘焙用具英语例句Likesiliconecakemold,bakeware,spatu...
2026-04-01
- palestinians是什么意思详细阅读
英语音标英式：[ˌpælɪsˈtɪnɪənz]美式：[ˌpælɪsˈtɪnɪənz]英语翻译n.巴勒斯坦人名词palestinian的复数形式.英语例句用作名词...
2026-04-01
- redirected是什么意思详细阅读
英语音标英式：[ˌriːdəˈrektɪd]美式：[ˌriːdəˈrektɪd]英语翻译adj.再直接的v.重新传入；重新寄送英语例句用作动词(v.)Stand...
2026-04-01
- exhume是什么意思详细阅读
英语音标英式：[eksˈhjuːm]美式：[ɪɡˈzuːm]英语翻译v.掘出(尸体以检验)；发掘英语例句用作动词(v.)Whenthepoliceexhumed...
2026-04-01
最新文章