Browsing by Author "Robinson, Nathan"

    1.
    Partial Weighted MaxSAT for Optimal Planning
    Publication Type: Conference Publications (Full Written Paper - Refereed)
    Year of Publication: 2010
    Author(s): Robinson, Nathan, Gretton, Charles, Pham, Duc Nghia, Sattar, Abdul