Stav dette: Nonlinear approaches to satisfiability problems : proefschrift /