PN to CSP Methodology: Improved Bounds | Publicación