Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms
2016 ◽
Vol 11
(5)
◽
pp. 595-617
◽
Keyword(s):
2012 ◽
Vol 94
(3)
◽
pp. 1087-1096
◽
Keyword(s):
Keyword(s):