Harnessing Constraint Programming for Poetry Composition
Conflict-Driven Answer Set Solving: From Theory to Practice