| 2005 | ||
|---|---|---|
| 2 | Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale: Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. J. Autom. Reasoning 35(1-3): 143-179 (2005) | |
| 2001 | ||
| 1 | Alan M. Frisch, Timothy J. Peugniez: Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. IJCAI 2001: 282-290 | |
| 1 | Anthony J. Doggett | [2] |
| 2 | Alan M. Frisch | [1] [2] |
| 3 | Peter Nightingale | [2] |