The Picat-SAT Compiler

Cite this paper

@inproceedings{Zhou2016ThePC, title={The Picat-SAT Compiler}, author={Neng-Fa Zhou and H{\aa}kan Kjellerstrand}, booktitle={PADL}, year={2016} }