Duc Nghia Pham
Title
Cited by
Cited by
Year
Additive versus multiplicative clause weighting for SAT
J Thornton, DN Pham, S Bain, V Ferreira Jr
AAAI 4, 191-196, 2004
1462004
Building Structure into Local Search for SAT.
DN Pham, J Thornton, A Sattar
IJCAI 7, 2359-2364, 2007
582007
SAT-based parallel planning using a split representation of actions
N Robinson, C Gretton, DN Pham, A Sattar
Proceedings of the international conference on automated planning and …, 2009
482009
Kangaroo: An efficient constraint-based local search system using lazy propagation
MAH Newton, DN Pham, A Sattar, M Maher
International Conference on Principles and Practice of Constraint …, 2011
382011
Old resolution meets modern SLS
A Anbulagan, DN Pham, J Slaney, A Sattar
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (1), 354, 2005
382005
Combining adaptive and dynamic local search for satisfiability
D Nghia Pham, J Thornton, C Gretton, A Sattar
Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 149-172, 2008
372008
Modelling and solving temporal reasoning as propositional satisfiability
DN Pham, J Thornton, A Sattar
Artificial Intelligence 172 (15), 1752-1782, 2008
352008
Neighbourhood clause weight redistribution in local search for SAT
A Ishtaiwi, J Thornton, A Sattar, DN Pham
International Conference on Principles and Practice of Constraint …, 2005
322005
A Compact and Efficient SAT Encoding for Planning.
N Robinson, C Gretton, DN Pham, A Sattar
ICAPS, 296-303, 2008
312008
Partial weighted MaxSAT for optimal planning
N Robinson, C Gretton, DN Pham, A Sattar
Pacific rim international conference on artificial intelligence, 231-243, 2010
292010
A new genetic algorithm for simplified protein structure prediction
MA Rashid, MT Hoque, MAH Newton, DN Pham, A Sattar
Australasian Joint Conference on Artificial Intelligence, 107-119, 2012
262012
Advances in local search for satisfiability
DN Pham, J Thornton, C Gretton, A Sattar
Australasian Joint Conference on Artificial Intelligence, 213-222, 2007
262007
gnovelty+(v. 2)
DN Pham, C Gretton
Solver description. SAT Competition, 2009
252009
Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice
MA Rashid, MAH Newton, MT Hoque, S Shatabda, DN Pham, A Sattar
BMC bioinformatics 14 (2), 1-13, 2013
222013
Memory-based local search for simplified protein structure prediction
S Shatabda, MAH Newton, DN Pham, A Sattar
Proceedings of the ACM Conference on Bioinformatics, Computational Biology …, 2012
222012
The road not taken: retreat and diverge in local search for simplified protein structure prediction
S Shatabda, MAH Newton, MA Rashid, DN Pham, A Sattar
BMC bioinformatics 14 (2), 1-9, 2013
182013
Towards an efficient SAT encoding for temporal reasoning
DN Pham, J Thornton, A Sattar
International Conference on Principles and Practice of Constraint …, 2006
182006
Adaptive clause weight redistribution
A Ishtaiwi, J Thornton, A Sattar, DN Pham
International Conference on Principles and Practice of Constraint …, 2006
152006
A two level local search for MAX-SAT problems with hard and soft constraints
J Thornton, S Bain, A Sattar, DN Pham
Australian Joint Conference on Artificial Intelligence, 603-614, 2002
152002
Trap avoidance in local search using pseudo-conflict learning
D Pham, TT Duong, A Sattar
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 2012
142012
The system can't perform the operation now. Try again later.
Articles 1–20