CSP2SAT4J

MaRDI QIDQ22050swMATHFDO

Official website http://sat.inesc.pt/~ines/publications/CSP2sat4j.pdf

Cited in

(8)

• ASlib: a benchmark library for algorithm selection
• Representative encodings to translate finite CSPs into SAT
• CAMA
• Azucar
• GlueMiniSat
• iZplus
• Mistral
• Learning general constraints in CSP

This page was built for software: CSP2SAT4J