CSP2SAT4J

swMATH10081MaRDI QIDQ22050FDOQ22050

Author name not available (Why is that?)

Cited In (3)

• ASlib: a benchmark library for algorithm selection
• Learning general constraints in CSP
• Representative Encodings to Translate Finite CSPs into SAT

This page was built for software: CSP2SAT4J