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

  1. Bresolin, D.
  2. Jiménez, F.
  3. Sánchez, G.
  4. Sciavicco, G.
Revista:
Journal of Multiple-Valued Logic and Soft Computing

ISSN: 1542-3980

Any de publicació: 2017

Volum: 28

Número: 2-3

Pàgines: 217-249

Tipus: Article

GOOGLE SCHOLAR
Font de les dades: Scopus