A hybrid artificial bee colony algorithm for satisfiability problems based on tabu search
Keyword(s):
2017 ◽
Vol 6
(1/2)
◽
pp. 107
◽
2018 ◽
Vol 2018
◽
pp. 1-10
◽
Keyword(s):