| 2007 |
|---|
| 9 | EE | Duc Nghia Pham,
John Thornton,
Charles Gretton,
Abdul Sattar:
Advances in Local Search for Satisfiability.
Australian Conference on Artificial Intelligence 2007: 213-222 |
| 8 | EE | Duc Nghia Pham,
John Thornton,
Abdul Sattar:
Building Structure into Local Search for SAT.
IJCAI 2007: 2359-2364 |
| 2006 |
|---|
| 7 | EE | Abdelraouf Ishtaiwi,
John Thornton,
Anbulagan,
Abdul Sattar,
Duc Nghia Pham:
Adaptive Clause Weight Redistribution.
CP 2006: 229-243 |
| 6 | EE | Duc Nghia Pham,
John Thornton,
Abdul Sattar:
Towards an Efficient SAT Encoding for Temporal Reasoning.
CP 2006: 421-436 |
| 2005 |
|---|
| 5 | | Anbulagan,
Duc Nghia Pham,
John K. Slaney,
Abdul Sattar:
Old Resolution Meets Modern SLS.
AAAI 2005: 354-359 |
| 4 | | Duc Nghia Pham,
John Thornton,
Abdul Sattar,
Abdelraouf Ishtaiwi:
SAT-Based versus CSP-Based Constraint Weighting for Satisfiability.
AAAI 2005: 455-460 |
| 3 | EE | Abdelraouf Ishtaiwi,
John Thornton,
Abdul Sattar,
Duc Nghia Pham:
Neighbourhood Clause Weight Redistribution in Local Search for SAT.
CP 2005: 772-776 |
| 2004 |
|---|
| 2 | | John Thornton,
Duc Nghia Pham,
Stuart Bain,
Valnir Ferreira Jr.:
Additive versus Multiplicative Clause Weighting for SAT.
AAAI 2004: 191-196 |
| 2002 |
|---|
| 1 | EE | John Thornton,
Stuart Bain,
Abdul Sattar,
Duc Nghia Pham:
A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints.
Australian Joint Conference on Artificial Intelligence 2002: 603-614 |
