Quantifying over play: Constraining undesirable solutions in puzzle design
Complex Optimization in Answer Set Programming