Duc Nghia Pham
Titel
Zitiert von
Zitiert von
Jahr
Additive versus multiplicative clause weighting for SAT
J Thornton, DN Pham, S Bain, V Ferreira Jr
AAAI 4, 191-196, 2004
1432004
Building Structure into Local Search for SAT.
DN Pham, J Thornton, A Sattar
IJCAI 7, 2359-2364, 2007
562007
SAT-Based Parallel Planning Using a Split Representation of Actions.
N Robinson, C Gretton, DN Pham, A Sattar
ICAPS, 281-288, 2009
442009
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
382008
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
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
372011
Modelling and solving temporal reasoning as propositional satisfiability
DN Pham, J Thornton, A Sattar
Artificial Intelligence 172 (15), 1752-1782, 2008
342008
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
302005
A Compact and Efficient SAT Encoding for Planning.
N Robinson, C Gretton, DN Pham, A Sattar
ICAPS, 296-303, 2008
292008
Partial weighted MaxSAT for optimal planning
N Robinson, C Gretton, DN Pham, A Sattar
Pacific rim international conference on artificial intelligence, 231-243, 2010
282010
Advances in local search for satisfiability
DN Pham, J Thornton, C Gretton, A Sattar
Australasian Joint Conference on Artificial Intelligence, 213-222, 2007
272007
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
252012
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 (S2), S16, 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
212012
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 (S2), S19, 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
172006
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
DN Pham, TT Duong, A Sattar
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
132012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20