Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics

Bresolin, D.
Jiménez, F.
Sánchez, G.
Sciavicco, G.

Revista:

Journal of Multiple-Valued Logic and Soft Computing

ISSN: 1542-3980

Año de publicación: 2017

Volumen: 28

Número: 2-3

Páginas: 217-249

Tipo: Artículo

GOOGLE SCHOLAR

Fuente de los datos: Scopus