Alexey Ignatiev, Alessandro Previti, Joao Marques-Silva. On Finding Minimum Satisfying Assignments. In Michel Rueher, editor, Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Volume 9892 of Lecture Notes in Computer Science, pages 287-297, Springer, 2016. [doi]