CSP2SAT4J

swMATH10081MaRDI QIDQ22050FDOQ22050

Author name not available (Why is that?)

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

Cited In (8)

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

This page was built for software: CSP2SAT4J