The Log-Support Encoding of CSP into SAT
From MaRDI portal
Publication:3523089
DOI10.1007/978-3-540-74970-7_59zbMath1145.68512OpenAlexW1538681263MaRDI QIDQ3523089
Publication date: 2 September 2008
Published in: Principles and Practice of Constraint Programming – CP 2007 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74970-7_59
Related Items (3)
Weighted positive binary decision diagrams for exact probabilistic inference ⋮ Modelling Max-CSP as Partial Max-SAT ⋮ meSAT: multiple encodings of CSP to SAT
Uses Software
Cites Work
This page was built for publication: The Log-Support Encoding of CSP into SAT