| Autor: |
Habiballa, Hashim, Novak, Vilem, Dyba, Martin, Schenk, Jiri |
| Předmět: |
|
| Zdroj: |
AIP Conference Proceedings; 2015, Vol. 1648 Issue 1, p1-4, 4p, 1 Color Photograph, 1 Graph |
| Abstrakt: |
Searching for finite algebras requires enourmous load to human since the state-space is superexponential with respect to its size. We present a promising method for automated generation based on Genetic Algoritms. It enables to generate interesting EQ-algebras without manual selection and evaluation of required and optional properties. We present also software application for this task - EQCreator. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
