MaxSAT Evaluation 2023
Affiliated with SAT 2023   ·     ·   Italy