Nonlinear approaches to satisfiability problems : proefschrift - Warners, Johannes Pieter (Technische Universiteit Eindhoven, 1999)