求解#SMT問題的局部搜索算法
大小：1.61 MB 人氣： 2018-01-09 需要積分：3
標簽：搜索算法(7287)
#SMT問題是SMT問題的擴展，它需要計算一階邏輯公式F所有可滿足解的個數．目前，該問題已被廣泛應用于編譯器優(yōu)化、硬件設計、軟件驗證和自動化推理等領域，隨著#SMT問題的廣泛應用，設計可以求解較大規(guī)模#SMT實例的求解器亟待解決．基于以上原因，設計了一種求解較大規(guī)模#SMT實例的近似求解器一一VolComputeWithLocalSearch．它在現有的#SMT精確求解算法的基礎上加入差分進化算法，通過調用體積計算工具qhull，進而給出#SMT問題的近似解．算法采用群體規(guī)則減少體積計算的次數，差分進化方法快速地枚舉各個有解的區(qū)域．另外，從理論上證明了VolComputeWithLocalSearch求解器可以得到精確解的下界，使其可以應用在軟件測試等只需要知道問題下界的領域，實驗結果表明：VolComputeWithLocalSearch求解器是穩(wěn)定的、具有快速的求解能力，并在高維問題上具有很好的表現．
?
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
求解#SMT問題的局部搜索算法下載
相關電子資料下載
- 揭秘谷歌搜索算法工作原理，與官方聲明存在矛盾 334
- 一種完全由LLM + 啟發(fā)式搜索算法結合的TOT算法 1200
- 基于內容的深度生成模型搜索算法 428
- 介紹當前比較常見的幾種近鄰搜索算法 2253
- 二分搜索算法運用的框架套路 1669
- 基于WindowCE的雙向啟發(fā)式搜索算法的改進設計及應用方案 1968
- 亞馬遜搜索算法被用于傳播疫苗虛假信息 1256
- 益智游戲克星：BFS暴力搜索算法 2776
- 基于WindowCE硬件平臺上改善車載導航雙向啟發(fā)式搜索算法的研究 608
- 人工智能的兩種最基本搜索算法 4457