摘要:對SAT問題及其各種約束子問題進行分類并給出具體定義,著重介紹常規(guī)SAT問題、最大可滿足性問題(MAX-SAT)和參數化SAT問題的相關算法,并對參數算法中運用的技術進行分析和比較,提出一些SAT問題研究中值得關注的幾個方面。
關鍵詞:可滿足性問題;NP完全問題;參數計算
中圖分類號:TP301.6 文獻標識碼:A
計算技術與自動化2009年4期
1《師道·教研》2024年10期
2《思維與智慧·上半月》2024年11期
3《現代工業(yè)經濟和信息化》2024年2期
4《微型小說月報》2024年10期
5《工業(yè)微生物》2024年1期
6《雪蓮》2024年9期
7《世界博覽》2024年21期
8《中小企業(yè)管理與科技》2024年6期
9《現代食品》2024年4期
10《衛(wèi)生職業(yè)教育》2024年10期
關于參考網