Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms. - Bresolin, Davide; Jiménez, Fernando; Sánchez, Gracia; Sciavicco, Guido (2013)