Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms.

Davide Bresolin, Fernando Jimnez, Gracia Snchez, Guido Sciavicco

Browse the full FOGA paper archive.