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: 

Wednesday, October 1, 2014