Johannes Pieter Warners

• Nonlinear approaches to satisfiability problems