A Multilevel Approach Applied to Sat-Encoded Problems
Keyword(s):
2019 ◽
Vol 9
(4)
◽
pp. 321-330
2021 ◽
Vol 73
◽
pp. 101241