A history of satisfiability - Nonlinear formulations - Anjos, Miguel F. (Handbook on Satisfiability, 2009)