| |
| 2005 | ||
|---|---|---|
| 1 | EE | 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) |
| 1 | Alan M. Frisch | [1] |
| 2 | Peter Nightingale | [1] |
| 3 | Timothy J. Peugniez | [1] |