Partial Satisfaction of k-Satisfiable Formulas. - Claudia Käppeli; Dominik Scheder (Electron. Notes Discret. Math., 2007)