Evolutionary search for automated generation of EQ-algebras
Hashim Habiballa, Vilém Novák, Martin Dyba, Jiri Schenk · AIP conference proceedings · 2015
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.