Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms (Q5276108)
From MaRDI portal
scientific article; zbMATH DE number 6745825
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms |
scientific article; zbMATH DE number 6745825 |
Statements
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms (English)
0 references
14 July 2017
0 references
evolutionary algorithms
0 references
modal logic
0 references
temporal logic
0 references
finite satisfiability
0 references
