\documentclass[12pt]{article} \usepackage{wide,me} \parindent0pt

Admin

DNF counting

Define

Complexity:

Rare events

Coverage algorithm

Counting Versus Generation

Counting via generation

Converse: if you can count, you can generate

Generalize beyond direct enumeration:

DNF generation

We'll dive deeper into this later.