Automatic generation and analysis of physics-based puzzle games | IEEE Conference Publication | IEEE Xplore