Partial Weighted MaxSAT for Optimal Planning

N Robinson, Charles Gretton, D Pham, A Sattar, B-T Zhang, MA Orgun

Research output: Contribution to conference (unpublished)Paper

17 Citations (Scopus)
Original languageEnglish
Pages231-243
Number of pages13
DOIs
Publication statusPublished - 1 Aug 2010

Cite this