Text this: Nonlinear approaches to satisfiability problems : proefschrift /