Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics
- Bresolin, D.
- Jiménez, F.
- Sánchez, G.
- Sciavicco, G.
ISSN: 1542-3980
Argitalpen urtea: 2017
Alea: 28
Zenbakia: 2-3
Orrialdeak: 217-249
Mota: Artikulua
Aldizkaria:
Journal of Multiple-Valued Logic and Soft Computing