An algorithm Based on Tabu Search for Satisfiability Problem-中国期刊网

摘要 Inthispaper,acomputationallyeffectivealgorithmbasedontabusearchforsolvingthesatisfiabilityproblem(TSSAT)isproposed.Somenovelandefficientheuristicstrategiesforgeneratingcandidateneighborhoodofthecurredassignmentandselectingvaribablestobeflippedarepresented.Especially,theaspirationcriterionandtabulisttructureofTSSATaredifferentfromthoseoftraditionaltabusearch.Computationalexperimentsonaclassofprobleminsteancesshowthat,TSSAT,inareasonableamountofcomputertime,yieldsbetterresultsthanNoveltywhichiscurrentlyamongthefastestknown.ThereforeTSSATisfeasibleandeffective.

1Xiao-WeiLit;Guang-HuiLi;MingShao. Formal Verification Techniques Based on Boolean Satisfiability Problem.计算机科学与技术,2005-01.
2Maria Beatriz Bernabe Loranca Rogelio Gonzalez Velfizquez Martin Estrada Analco. The P-Median Problem： A Tabu Search Approximation Proposal Applied to Districts.基础数学,2015-03.
3Yuan-Yu Tsai;Chi-Shiang Chan. An Adaptive Steganographic Algorithm for Point Geometry Based on Nearest Neighbors Search.物理电子学,2012-03.
4Jing Wu;Paul L. Rosin;Xianfang Sun;Ralph R. Martin. Improving Shape from Shading with Interactive Tabu Search.计算机科学与技术,2016-03.
5Huaiyuan Li;Hongfu Zuo;Kun Liang;Juan Xu;Jing Cai;Junqiang Liu. Optimizing combination of aircraft maintenance tasks by adaptive genetic algorithm based on cluster search.物理电子学,2016-01.
6LiuZhixin LiuTieyan 等. JOINT RANDOM OPTIMIZED THREE—STEP SEARCH ALGORITHM BASED—ON GRAY AND CHROMATIC INFORMATION.物理电子学,2002-02.
7张鸿宾;孙广煜. Optimal Selection of Reference Set for the Nearest Neighbor Classification by Tabu Search.计算机科学与技术,2001-02.
8Shu Wang;Xinyu Da;Mudong Li;Tong Han. Adaptive backtracking search optimization algorithm with pattern search for numerical optimization.物理电子学,2016-02.
9ZHANG Wei-ying;LIN Yan;JI Zhuo-shang. Model and algorithm for container ship stowage planning based on bin-packing problem.船舶与海洋工程,2005-03.
10Fanrong Xie;Renan Jia. A GA Based Algorithm to Solve the Multi-stage Supply Chain Optimization Problem.系统科学,2007-04.

An algorithm Based on Tabu Search for Satisfiability Problem

来源期刊

相关推荐

同分类资源更多

相关关键词

An algorithm Based on Tabu Search for Satisfiability Problem

来源期刊

相关推荐

同分类资源 更多

相关关键词

同分类资源更多