Solution Enumeration by Optimality in Answer Set Programming. - Jukka Pajunen; Tomi Janhunen (Theory Pract. Log. Program., 2021)