Papers in proceedings

• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Safe Reliability Assessment through Probabilistic Constraint Reasoning, Proceedings of ESREL 2014 - XXIV European Safety and Reliability Conference, Wroclaw, Poland, September 14 - 18, Safety and Reliability: Methodology and Applications, CRC Press, ISBN 978-1-138-02681-0, Pag. 2269-2277, September 2014.
• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic constraints for nonlinear inverse problems, Proceedings of CP 2014 - 20th International Conference on Principles and Practice of Constraint Programming, Lyon, France, September 8-12, Lecture Notes in Computer Science, Springer, Vol. 8656, ISBN 978-3-319-10428-7, Pag. 913-917, September 2014.
• Pedro Barahona, Steffen Hölldobler and Nguyen Van Hau, Representative Encodings to Translate Finite CSPs into SAT, in: Helmut Simonis (eds), Integration of AI and OR Techniques in Constraint Programming, Lecture Notes in Computer Science, Springer, Vol. 8451, ISBN 978-3-319-07045-2, Pag. 251-267, DOI: 10.1007/978-3-319-07046-9_18, May 2014.