The application and optimization of genetic algorithms in formula problems | IEEE Conference Publication | IEEE Xplore