QBF-Beispiele mit fester Quantortiefe

• chromatische Zahl
• kleinstes Vertex Cover
• minimales Sudoku
• kleinster Schaltkreis
• ...

Schema: $\exists$z : P(z) $\wedge$ $\forall$z' : z' < z $\Rightarrow$ ¬P(z')