On Finding Minimum Satisfying Assignments

TitleOn Finding Minimum Satisfying Assignments
Publication TypeConference Paper
Year of Publication2016
AuthorsIgnatiev, A., A. Previti, and J. Marques-Silva
Conference NameInternational Conference on Principles and Practice of Constraint Programming
PublisherSpringer