meSAT: multiple encodings of CSP to SAT

DOI: 10.1007/s10601-014-9165-7

Authors

Mirko Stojadinovic, Filip Maric
Constraints 19(4), October 2014

Publication date