@ARTICLE{
author={Stojadinovic Mirko S,Maric Filip M},
year={2014},
title={meSAT: multiple encodings of CSP to SAT},
journal={CONSTRAINTS},
volume={19},
number={4},
pages={380-403},
document_type={Article},
}