![](/img/cover-not-exists.png)
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings
Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter W. NightingaleVolume:
35
Language:
english
Pages:
37
DOI:
10.1007/s10817-005-9011-0
Date:
October, 2005
File:
PDF, 663 KB
english, 2005