Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions | Publicación