Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. - Alan M. Frisch; Timothy J. Peugniez (IJCAI, 2001)

Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. - Alan M. Frisch; Timothy J. Peugniez; Anthony J. Doggett; Peter Nightingale (J. Autom. Reason., 2005)