Ivan Bliznets, Danil Sagunov, Kirill Simonov. Fine-grained Complexity of Partial Minimum Satisfiability. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI-22 (Lud De Raedt, ed.), pages 1774–1780, 7 2022, International Joint Conferences on Artificial Intelligence Organization. (Note: Main Track)