Duc Nghia Pham

Using salt intrusion measurements to determine the freshwater discharge distribution over the branches of a multi-channel estuary: The Mekong Delta case

A. D. Nguyen, H. H. G. Savenije, Duc Nghia Pham et al. · Estuarine Coastal and Shelf Science · 2007 · 115 citations

Natural Sciences, Hydrology, Oceanography +12

Additive versus multiplicative clause weighting for SAT

John Thornton, Duc Nghia Pham, Stuart Bain et al. · Griffith Research Online (Griffith University, Queensland, Australia) · 2004 · 111 citations · Full text

Computing, Computer Science, Mathematics +16

Building structure into local search for SAT

Duc Nghia Pham, John Thornton, Abdul Sattar · Griffith Research Online (Griffith University, Queensland, Australia) · 2007 · 40 citations · Full text

Computing, Computer Science, Algorithms +14

SAT-Based Parallel Planning Using a Split Representation of Actions

Nathan Robinson, Charles Gretton, Duc Nghia Pham et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2009 · 39 citations · Full text

Computing, Decision Sciences, Knowledge Representation +8

Old resolution meets modern SLS

Anbulagan Anbulagan, Duc Nghia Pham, John Slaney et al. · ANU Open Research (Australian National University) · 2005 · 35 citations

Computing, Computer Science, Algorithms +12