Duc Nghia Pham is an author at University of Birmingham specializing in automated reasoning, global planning, and computer science.
Top concepts
PlanningEngineeringTask PlanningFormal MethodsSatisfiabilityGlobal PlanningComputer ScienceParallel ComputingAutomated ReasoningFormal Verification
Publications per year
2009–2009
1
1
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 · 37 citations · Full text
Artificial Intelligence, Mathematical Programming, Engineering +21
Rows per page
1–1 of 1