Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms | Publicación