聚類和劃分的SAT分治判定
大小：0.58 MB 人氣： 2018-01-24 需要積分：2
推薦 + 挑錯(cuò) + 收藏(0) + 用戶評論（0）
提出了一種將布爾公式劃分為子句組來進(jìn)行布爾可滿足性判定的方法．CNF（conjunctive normal form）公式是可滿足的當(dāng)且僅當(dāng)劃分產(chǎn)生的每個(gè)子句組都是可滿足的。因此，通過判定子句組的可滿足性來判定原公式的可滿足性，相當(dāng)于用分治法將復(fù)雜問題分解為多個(gè)子問題來求解．這種分治判定方法一方面降低了原公式的可滿足性判定復(fù)雜度；另一方面，由于子句組的判定可以并行，因而判定速度能夠得到進(jìn)一步的提高．對于不能直接產(chǎn)生布爾子句組劃分的情形，提出了一種利用聚類技術(shù)將CNF公式聚類成多個(gè)簇，然后消去簇間的公共變量來產(chǎn)生子句組劃分的方法．
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
聚類和劃分的SAT分治判定下載
相關(guān)電子資料下載
- 憶聯(lián)推出企業(yè)級SATA SSD UM311b，提供穩(wěn)定可靠的存儲(chǔ)服務(wù) 315
- 憶聯(lián)推出高性能企業(yè)級SATA SSD UM311b 154
- 選擇適合進(jìn)行SATA測試的探頭:確保合規(guī)性和性能的一體化解決方案 116
- 閑置PCIe插槽也能利用起來，一款可輕松抽取的SATA硬盤擴(kuò)展卡 117
- SATA連接器接口的主要種類和功能 653
- 憶聯(lián)攜PCIe Gen5企業(yè)級SSD和SATA SSD首次亮相中國移動(dòng)算力網(wǎng)絡(luò)大會(huì) 318
- 芯盛智能：企業(yè)級SATA固態(tài)硬盤SS2000SE正式上市 362
- 帶你了解NSAT-8000電源測試系統(tǒng)的AC-DC測試解決方案 192
- NSAT-8000電源ATE測試系統(tǒng)：讓電源性能檢測更簡單、便捷 418
- NSAT-1000測試系統(tǒng)與ACCRETECH探針臺(tái)對接，助力晶圓芯片批量自動(dòng)化測試 236