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.
Revue:
Journal of Multiple-Valued Logic and Soft Computing

ISSN: 1542-3980

Année de publication: 2017

Volumen: 28

Número: 2-3

Pages: 217-249

Type: Article

GOOGLE SCHOLAR
La source de données: Scopus