Alan M. Frisch Timothy J. Peugniez Anthony J. Doggett Peter Nightingale Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. 143-179 2005 35 J. Autom. Reasoning 1-3 http://dx.doi.org/10.1007/s10817-005-9011-0 db/journals/jar/jar35.html#FrischPDN05