Hyper-Reactive Tabu Search for MaxSAT
Keyword(s):
2000 ◽
Vol 34
(2)
◽
pp. 107-121
◽
Keyword(s):
2010 ◽
Vol 158
(5)
◽
pp. 522-533
◽
2003 ◽
Vol 17
(5)
◽
pp. 80-87
Keyword(s):