Publications by Duc-Nghia Pham

• SAT-Based Parallel Planning Using a Split Representation of Actions

  Nathan Robinson, Charles Gretton, Duc-Nghia Pham, and Abdul Sattar

  Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), 2009
• gNovelty+ (v. 2)

  Duc-Nghia Pham and Charles Gretton

  SAT 2009 Competitive Events Booklet, 2009