Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms
- Bresolin, D.
- Jiménez, F.
- Sánchez, G.
- Sciavicco, G.
Aktak:
FOGA 2013 - Proceedings of the 12th ACM Workshop on Foundations of Genetic Algorithms
ISBN: 9781450319904
Argitalpen urtea: 2013
Orrialdeak: 25-36
Mota: Biltzar ekarpena