ML Anthology

Peugniez, Timothy J.

1 publications

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