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