Satisfiability with Exponential Families.

Dominik Scheder, Philipp Zumstein

Browse the full SAT paper archive.