Automatic Game Design via Mechanic Generation
Quantifying over play: Constraining undesirable solutions in puzzle design