Sequential Encodings from Max-CSP into Partial Max-SAT

DOI10.1007/978-3-642-02777-2_17zbMath1247.68243OpenAlexW1585759996MaRDI 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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Unnamed Item
• Modelling Max-CSP as Partial Max-SAT
• Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
• Theory and Applications of Satisfiability Testing

This page was built for publication: Sequential Encodings from Max-CSP into Partial Max-SAT