Duc Nghia Pham

Duc Nghia Pham

Griffith University - Brisbane / Australia
Engineering & Technology / Computer Science
AD Scientific Index ID: 51418
person_outline Duc Nghia Pham's MOST POPULAR ARTICLES
1-) Additive versus multiplicative clause weighting for SATJ Thornton, DN Pham, S Bain, V Ferreira JrAAAI 4, 191-196, 20041562004
2-) Building Structure into Local Search for SAT.DN Pham, J Thornton, A SattarIJCAI 7, 2359-2364, 2007612007
3-) SAT-based parallel planning using a split representation of actionsN Robinson, C Gretton, DN Pham, A SattarNineteenth International Conference on Automated Planning and Scheduling, 2009602009
4-) Kangaroo: An efficient constraint-based local search system using lazy propagationMAH Newton, DN Pham, A Sattar, M MaherPrinciples and Practice of Constraint Programming–CP 2011: 17th …, 2011492011
5-) Modelling and solving temporal reasoning as propositional satisfiabilityDN Pham, J Thornton, A SattarArtificial Intelligence 172 (15), 1752-1782, 2008462008