Nonlinear approaches to satisfiability problems by J.P. Warners