Publications in collaboration with researchers from University of Verona (1)

2013

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

    FOGA 2013 - Proceedings of the 12th ACM Workshop on Foundations of Genetic Algorithms