Publications by Abdul Sattar

• Partial Weighted MaxSAT for Optimal Planning

  Charles Gretton, N. Robinson, and Abdul Sattar

  11th Pacific Rim International Conference on Artificial Intelligence (PRICAI-2010), 2010
• Cost-Optimal Planning using Wighted MaxSAT

  Charles Gretton, N. Robinson, and Abdul Sattar

  CAPS-2010 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, 2010
• 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