Pedro Barahona

Prof. Pedro Barahona is a former Visiting Professor at the International Center for Computational Logic (ICCL), affiliated with the Faculty of Computer Science at TU Dresden. His research focuses on translating Constraint Satisfaction Problems (CSP) into Satisfiability (SAT) frameworks, with contributions to encoding techniques and algorithmic optimization. His work bridges formal logic, artificial intelligence, and computational complexity.

Key publications (2013-2014) address SAT-based approaches for CSP constraints, hierarchical hybrid encodings, and efficient logical translations. Though listed as a former member, his contributions remain part of the ICCL's research portfolio. No awards or grants are explicitly noted in the provided materials.