| |
| 2005 | ||
|---|---|---|
| 3 | EE | Valnir Ferreira Jr., John Thornton: Tie Breaking in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence 2005: 70-81 |
| 2004 | ||
| 2 | John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.: Additive versus Multiplicative Clause Weighting for SAT. AAAI 2004: 191-196 | |
| 1 | EE | Valnir Ferreira Jr., John Thornton: Longer-Term Memory in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence 2004: 730-741 |
| 1 | Stuart Bain | [2] |
| 2 | Duc Nghia Pham | [2] |
| 3 | John Thornton | [1] [2] [3] |