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

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

Journal:

Journal of Multiple-Valued Logic and Soft Computing

ISSN: 1542-3980

Year of publication: 2017

Volume: 28

Issue: 2-3

Pages: 217-249

Type: Article

GOOGLE SCHOLAR

Data source: Scopus