Marc Roth Johannes Schmitt 0002 Philip Wellnitz Counting Small Induced Subgraphs Satisfying Monotone Properties. 1356-1367 2020 FOCS https://doi.org/10.1109/FOCS46700.2020.00128 conf/focs/2020 db/conf/focs/focs2020.html#Roth0W20