2007 |
4 | EE | Abdelraouf Ishtaiwi,
John Thornton,
Abdul Sattar:
Weight Redistribution for Unweighted MAX-SAT.
Australian Conference on Artificial Intelligence 2007: 687-693 |
2006 |
3 | EE | 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 | EE | Abdelraouf Ishtaiwi,
John Thornton,
Abdul Sattar,
Duc Nghia Pham:
Neighbourhood Clause Weight Redistribution in Local Search for SAT.
CP 2005: 772-776 |