2024-01-122024-01-12https://hdl.handle.net/11420/45041Affiliated with SAT 2023 (Italy)18th MaxSAT Evaluation, MSE 2023Conference10.15480/882.979310.15480/882.9793