Using games for benchmarking and representing the complete solution space using symbolic techniques | IEEE Conference Publication | IEEE Xplore