{'fraction_non_alphanumeric': 0.030594405594405596, 'fraction_numerical': 0.0008741258741258741, 'mean_word_length': 4.812182741116751, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Exploiting MaxSAT for Preference-Based Planning

In this paper, we explore the application of partial weighted MaxSAT techniques for preference-based planning (PBP). To this end, we develop a compact partial weighted MaxSAT encoding for PBP based on the SAS + formalism. Our encoding extends a SAS + based encoding for SAT-based planning, SASE, to allow for the specification of simple preferences. To the best of our knowledge, the SAS + formalism has never been exploited in the context of PBP. Our MaxSATbased PBP planner, MSP LAN , significantly outperformed a STRIPS-based MaxSAT approach for PBP with respect to running time, solving more problems in a few cases. Interestingly, when compared to SGPlan 5 and HPLAN -P, two stateof-the-art heuristic search planners for PBP, MSP LAN consistently generated plans with comparable quality, slightly outperforming at least one of these two planners in almost every case. For some problems, MSP LAN was competitive with HPLAN -P with respect to running time. Our results illustrate the effectiveness of our SASE based encoding and suggests that MaxSAT-based PBP is a promising area of research.