Publications by N. Robinson

• 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