Partial Weighted MaxSAT for Optimal Planning. Robinson, N., Gretton, C., Pham, D. N., & Sattar, A. In Proceedings of the 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30 - September 02, 2010 (Best paper award), 2010. Paper bibtex @inproceedings{ Robinson+etal:2010b,
author = {Nathan Robinson and Charles Gretton and Duc Nghia Pham and Abdul Sattar},
title = {Partial Weighted MaxSAT for Optimal Planning},
booktitle = {Proceedings of the 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30 - September 02, 2010 (Best paper award)},
url = {http://nathanrobinson.info/files/research/publications/PRICAI10_Robinson.pdf} ,
year = {2010}
}
Downloads: 0
{"_id":{"_str":"53421400ecd21cdc0700009a"},"__v":7,"authorIDs":["545759482abc8e9f370002e1","545c0cadb43425b7720017c1"],"author_short":["Robinson, N.","Gretton, C.","Pham, D. N.","Sattar, A."],"bibbaseid":"robinson-gretton-pham-sattar-partialweightedmaxsatforoptimalplanning-2010","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Nathan"],"propositions":[],"lastnames":["Robinson"],"suffixes":[]},{"firstnames":["Charles"],"propositions":[],"lastnames":["Gretton"],"suffixes":[]},{"firstnames":["Duc","Nghia"],"propositions":[],"lastnames":["Pham"],"suffixes":[]},{"firstnames":["Abdul"],"propositions":[],"lastnames":["Sattar"],"suffixes":[]}],"title":"Partial Weighted MaxSAT for Optimal Planning","booktitle":"Proceedings of the 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30 - September 02, 2010 (Best paper award)","url":"http://nathanrobinson.info/files/research/publications/PRICAI10_Robinson.pdf","year":"2010","bibtex":"@inproceedings{ Robinson+etal:2010b,\n author = {Nathan Robinson and Charles Gretton and Duc Nghia Pham and Abdul Sattar},\n title = {Partial Weighted MaxSAT for Optimal Planning},\n booktitle = {Proceedings of the 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30 - September 02, 2010 (Best paper award)},\n url = {http://nathanrobinson.info/files/research/publications/PRICAI10_Robinson.pdf} ,\n year = {2010}\n}\n\n\n","author_short":["Robinson, N.","Gretton, C.","Pham, D. N.","Sattar, A."],"key":"Robinson+etal:2010b","id":"Robinson+etal:2010b","bibbaseid":"robinson-gretton-pham-sattar-partialweightedmaxsatforoptimalplanning-2010","role":"author","urls":{"Paper":"http://nathanrobinson.info/files/research/publications/PRICAI10_Robinson.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/nathan-robinson/?format=bibtex","downloads":0,"keywords":[],"search_terms":["partial","weighted","maxsat","optimal","planning","robinson","gretton","pham","sattar"],"title":"Partial Weighted MaxSAT for Optimal Planning","year":2010,"dataSources":["8m8hEjXM9iTp42ufh"]}