Solving Non-Boolean Satisfiability Problems with Stochastic Local Search.

Alan M. Frisch, Timothy J. Peugniez

Browse the full IJCAI paper archive.