Find out how ICT can support biomedical and clinical researchFind out more. From Clever cars to clever farms... Embedded Systems
PhamDN

Duc Nghia Pham

Researcher


Dr Duc Nghia Pham

Queensland Research Laboratory

Email: duc-nghia.pham (at) nicta (dot) com (dot) au

 

Smart Applications For Emergencies (SAFE)

 

Publications


Pham, D. N., Thornton, J. R., & Sattar, A. (2008). "Modelling and Solving Temporal Reasoning as Propositional Satisfiability". Artificial Intelligence Journal (AIJ) 172(15):1752-1782. pdf
Pham, D. N., Thornton, J. R., Gretton, C., & Sattar, A. (2008). "Combining Adaptive and Dynamic Local Search for Satisfiability". Journal on Satisfiability, Boolean Modeling and Computation (JSAT) 4:149-172. pdf
Robinson, N., Gretton, C., Pham, D. N., & Sattar, A. (2008). "A Compact and Efficient SAT Encoding for Planning". In Proceedings of the International Conference on Automated Planning and Scheduling, ICAPS-2008, Sydney, Australia. To appear.
Pham, D. N., Thornton, J. R., & Sattar, A. (2008). "Efficiently Exploiting Dependencies in Local Search for SAT". In Proceedings of the 23rd National Conference on Artificial Intelligence, AAAI-2008, Chicago, Illinois. To appear. pdf
Pham, D. N., Thornton, J. R., Gretton, C., & Sattar, A. (2007). "Advances in Local Search for Satisfiability". In Proceedings of the 20th Australian Joint Conference on Artificial Intelligence, AI-2007, Gold Coast, Australia. Lecture Notes in Computer Science 4830, Springer. 213-222. pdf
Pham, D. N., Thornton, J. R., & Sattar, A. (2007). "Building Structure into Local Search for SAT". In Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI-2007, Hyderabad, India. 2359-2364. Distinguished Paper Award. pdf
Pham, D. N., Thornton, J. R., & Sattar, A. (2006). "Towards an Efficient SAT Encoding for Temporal Reasoning". In Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP-2006, Nantes, France. 421-436. pdf
Ishtaiwi, A., Thornton, J. R., Anbulagan, Sattar, A., & Pham, D. N. (2006). "Adaptive Clause Weight Redistribution". In Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP-2006, Nantes, France. 229-243. pdf
Pham, D. N., Thornton, J. R., Sattar, A., & Ishtaiwi, A. (2005). "SAT-based versus CSP-based Constraint Weighting for Satisfiability". In Proceedings of the 20th National Conference on Artificial Intelligence, AAAI-2005, Pittsburgh, Pennsylvania. 455-460. pdf
Anbulagan, Pham, D. N., Slaney, J. R., & Sattar, A. (2005). "Old Resolution Meets Modern SLS". In Proceedings of the 20th National Conference on Artificial Intelligence, AAAI-2005, Pittsburgh, Pennsylvania. 354-359. pdf
Ishtaiwi, A., Thornton, J. R., Sattar, A., & Pham, D. N. (2005). "Neighbourhood Clause Weight Redistribution in Local Search for SAT". In Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP-2005, Sitges, Spain. 772-776. pdf
Thornton, J. R., Pham, D. N., Bain, S., & Ferreira Jr., V. (2004). "Additive versus Multiplicative Clause Weighting for SAT". In Proceedings of the 19th National Conference on Artificial Intelligence, AAAI-2004, San Jose, California. 191-196. pdf
Thornton, J. R., Bain, S., Sattar, A., & Pham, D. N. (2002). "A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints". In Proceedings of the 15th Australian Joint Conference on Artificial Intelligence, AustAI-2002, Canberra, Australia. 603-614. pdf