enumeration_techniques (289B)
1 # Enumeration techniques 2 3 - [union_trick] by [arnaud_durand] and [yann_strozecki] 4 - cf [berkholz2020constantb] Theorem 2.1 5 - [proximity_search], enumeration framework (cf [wepa_2022]) 6 - [enumeration_via_circuit] 7 - [cheaters_lemma], in [carmeli2021enumeration] Lemma 7 8 9 Up: [enumeration]