 | 2007 |
|---|
| 4 |       | Abdelraouf Ishtaiwi,
John Thornton,
Abdul Sattar:
Weight Redistribution for Unweighted MAX-SAT.
Australian Conference on Artificial Intelligence 2007: 687-693 |
| 2006 |
|---|
| 3 | | Abdelraouf Ishtaiwi,
John Thornton,
Anbulagan,
Abdul Sattar,
Duc Nghia Pham:
Adaptive Clause Weight Redistribution.
CP 2006: 229-243 |
| 2005 |
|---|
| 2 |  | Duc Nghia Pham,
John Thornton,
Abdul Sattar,
Abdelraouf Ishtaiwi:
SAT-Based versus CSP-Based Constraint Weighting for Satisfiability.
AAAI 2005: 455-460 |
| 1 | | Abdelraouf Ishtaiwi,
John Thornton,
Abdul Sattar,
Duc Nghia Pham:
Neighbourhood Clause Weight Redistribution in Local Search for SAT.
CP 2005: 772-776 |
