The Log-Support Encoding of CSP into SAT

DOI10.1007/978-3-540-74970-7_59MaRDI QIDQ3523089zbMATH OpenOpenAlexFDO

Authors Marco Gavanelli

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

Mathematics Subject Classification ID

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

Recommendations

• meSAT: multiple encodings of CSP to SAT
• Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT
• Representative encodings to translate finite CSPs into SAT
• Compiling finite linear CSP into SAT
• Compiling Finite Linear CSP into SAT

Cites work

• MiniSat

Cited in

(8)

• Weighted positive binary decision diagrams for exact probabilistic inference
• meSAT: multiple encodings of CSP to SAT
• Modelling Max-CSP as Partial Max-SAT
• Compiling Finite Linear CSP into SAT
• scientific article; zbMATH DE number 1975617 (Why is no real title available?)
• Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT
• Representative encodings to translate finite CSPs into SAT
• Compiling finite linear CSP into SAT

Describes a project that uses

Uses Software

• MiniSat
• Chaff

This page was built for publication: The Log-Support Encoding of CSP into SAT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3523089)