Nonlinear approaches to satisfiability problems door J.P. Warners