Authors of CSPLib problems, and the authors and maintainers of CSPLib itself, would very much appreciate citation in your publications if you use their (our) work.

To cite this CSPLib problem, please use the following bibtex entry.

@misc{csplib:Picat,
title        = {{CSPLib} Language Picat},
author       = {},
editor       = {Jefferson, Christopher and Miguel, Ian and Hnich, Brahim and Walsh, Toby and Gent, Ian P.},
booktitle    = {{CSPLib}: A problem library for constraints},
howpublished = {\url{http://www.csplib.org/Languages/Picat}}
}

To cite CSPLib as a whole, please use the following bibtex entry:

@misc{csplib,
title        = {{CSPLib}: A problem library for constraints},
editor       = {Jefferson, Christopher and Miguel, Ian and Hnich, Brahim and Walsh, Toby and Gent, Ian P.},
year         = 1999,
howpublished = {\url{http://www.csplib.org}},
}