- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown: SATenstein: Automatically Building Local Search SAT Solvers from Components. IJCAI 2009: 517-524 |
| 1 | Holger H. Hoos (Holger Hoos) | [1] |
| 2 | Kevin Leyton-Brown | [1] |
| 3 | Lin Xu | [1] |