WPM3: an (in)complete algorithm for weighted partial MaxSAT
From MaRDI portal
Publication:1680676
DOI10.1016/j.artint.2017.05.003zbMath1419.68090MaRDI QIDQ1680676
Publication date: 16 November 2017
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2017.05.003
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Uses Software