OpenAlex
Parameterized complexity of MaxSat Above Average
Work