Optimizing SAT Encodings for Arithmetic Constraints

Cite this paper

@inproceedings{Zhou2017OptimizingSE, title={Optimizing SAT Encodings for Arithmetic Constraints}, author={Neng-Fa Zhou and H{\aa}kan Kjellerstrand}, booktitle={CP}, year={2017} }