Dániel Marx, Govind S. Sankar, Philipp Schepper: Anti-factor is FPT Parameterized by Treewidth and List Size (but Counting is Hard). Algorithmica 87(1): 22-88 (2025)