scientific article; zbMATH DE number 6973807

zbMATH Open1400.68196MaRDI QIDQ4963143

G. Sánchez, Davide Bresolin, Guido Sciavicco, Fernando Jiménez

Publication date: 6 November 2018

Full work available at URL: http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

metaheuristicssatisfiabilitymulti-objective evolutionary algorithmsinterval logics

Mathematics Subject Classification ID

Multi-objective and goal programming (90C29) Approximation methods and heuristics in mathematical programming (90C59) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Temporal logic (03B44)

Related Items (1)

A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic

This page was built for publication: