Solving ‘Still Life’ with Soft Constraints and Bucket Elimination | Publicación