Dániel Marx, Govind S. Sankar, Philipp Schepper: Anti-Factor Is FPT Parameterized by Treewidth and List Size (But Counting Is Hard). IPEC 2022: 22:1-22:23