Dependency Quantified Horn Formulas: Models and Complexity.

Uwe Bubeck, Hans Kleine Bning

Browse the full SAT paper archive.