Research Publications

Partial Weighted MaxSAT for Optimal Planning

Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar

Keywords: SAT, planning, cost optimal

Details

Status:	published
Type:	Conference Paper
Conference Name:	11th Pacific Rim International Conference on Artificial Intelligence
Pages:	231-243
City/Country:	Daegu, Korea
Conference URL:	www.pricai2010.org/