Christoph Beierle, Aron Spang, Jonas Haldimann. Using SAT and Partial MaxSAT for Reasoning with System Z and System W. In Nina Gierasimczuk, Jesse Heyninck, editors, Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024. Volume 3835 of CEUR Workshop Proceedings, pages 132-141, CEUR-WS.org, 2024. [doi]
Abstract is missing.