2024-10-222024-10-22https://hdl.handle.net/11420/4980019th MaxSAT Evaluation, MSE 2024Conference