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