@inproceedings{Robinson+etal:2010b,
  author    = {Nathan Robinson and
               Charles Gretton and
               Duc Nghia Pham and
               Abdul Sattar},
  booktitle = {Proceedings of the 11th Pacific Rim International Conference on Artificial
               Intelligence, Daegu, Korea, August 30 - September 02, 2010 (Best paper award)},
  title     = {Partial Weighted {MaxSAT} for Optimal Planning},
  year      = {2010},
  url       = {http://nathanrobinson.info/publications/PRICAI_2010_Robinson.pdf}
}