Sequential Encodings from Max-CSP into Partial Max-SAT
From MaRDI portal
Publication:3637165
DOI10.1007/978-3-642-02777-2_17zbMath1247.68243MaRDI QIDQ3637165
Josep Argelich, Inês Lynce, Alba Cabiscol, Felip Manyà
Publication date: 7 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02777-2_17
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Cites Work