Exploring superior structural materials using multi-objective optimization and formal techniques | IEEE Conference Publication | IEEE Xplore