- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c21 |      | Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar: Trap Avoidance in Local Search Using Pseudo-Conflict Learning. AAAI 2012 |
| c20 | | Mahmood A. Rashid, Md. Tamjidul Hoque, M. A. Hakim Newton, Duc Nghia Pham, Abdul Sattar: A New Genetic Algorithm for Simplified Protein Structure Prediction. Australasian Conference on Artificial Intelligence 2012: 107-119 |
| c19 | | Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar: A Method to Avoid Duplicative Flipping in Local Search for SAT. Australasian Conference on Artificial Intelligence 2012: 218-229 |
| c18 | | Swakkhar Shatabda, Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar: Memory-based local search for simplified protein structure prediction. BCB 2012: 345-352 |
| c17 | | Mahmood A. Rashid, Swakkhar Shatabda, M. A. Hakim Newton, Tamjidul Hoque, Duc Nghia Pham, Abdul Sattar: Random-walk: a stagnation recovery technique for simplified protein structure prediction. BCB 2012: 620-622 |
| c16 | | Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar: A Study of Local Minimum Avoidance Heuristics for SAT. ECAI 2012: 300-305 |
| 2011 | ||
| c15 | | Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher: Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. CP 2011: 645-659 |
| 2010 | ||
| c14 | | Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar: Partial Weighted MaxSAT for Optimal Planning. PRICAI 2010: 231-243 |
| 2009 | ||
| c13 | | Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar: SAT-Based Parallel Planning Using a Split Representation of Actions. ICAPS 2009 |
| 2008 | ||
| j2 | | Duc Nghia Pham, John Thornton, Abdul Sattar: Modelling and solving temporal reasoning as propositional satisfiability. Artif. Intell. 172(15): 1752-1782 (2008) |
| j1 | | Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Combining Adaptive and Dynamic Local Search for Satisfiability. JSAT 4(2-4): 149-172 (2008) |
| c12 | | Duc Nghia Pham, John Thornton, Abdul Sattar: Efficiently Exploiting Dependencies in Local Search for SAT. AAAI 2008: 1476-1478 |
| c11 | | Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar: A Compact and Efficient SAT Encoding for Planning. ICAPS 2008: 296-303 |
| c10 | | John Thornton, Duc Nghia Pham: Using Cost Distributions to Guide Weight Decay in Local Search for SAT. PRICAI 2008: 405-416 |
| 2007 | ||
| c9 | | Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence 2007: 213-222 |
| c8 | | Duc Nghia Pham, John Thornton, Abdul Sattar: Building Structure into Local Search for SAT. IJCAI 2007: 2359-2364 |
| 2006 | ||
| c7 | | Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham: Adaptive Clause Weight Redistribution. CP 2006: 229-243 |
| c6 | | Duc Nghia Pham, John Thornton, Abdul Sattar: Towards an Efficient SAT Encoding for Temporal Reasoning. CP 2006: 421-436 |
| 2005 | ||
| c5 | | Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar: Old Resolution Meets Modern SLS. AAAI 2005: 354-359 |
| c4 | | Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi: SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. AAAI 2005: 455-460 |
| c3 | | Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham: Neighbourhood Clause Weight Redistribution in Local Search for SAT. CP 2005: 772-776 |
| 2004 | ||
| c2 | | John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.: Additive versus Multiplicative Clause Weighting for SAT. AAAI 2004: 191-196 |
| 2002 | ||
| c1 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page