Quantifying over play: Constraining undesirable solutions in puzzle design
A case study of expressively constrainable level design automation tools for a puzzle game