Pedro Barahona
From International Center for Computational Logic
Prof. Pedro Barahona
Former member
- Former Visiting Professor
Newest Publications
Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen
Representative Encodings to Translate Finite CSPs into SAT
CPAIOR, 251-267, 2014
Details
Pedro Barahona, Steffen Hölldobler, Van Hau Nguyen
Efficient SAT-Encoding of Linear CSP Constraints
Proc. International Symposium on Artificial Intelligence and Mathematics (ISAIM-2014), Special session on Boolean and pseudo-Boolean Functions, January 6â8, Fort Lauderdale, FL, USA, 2014, to appear, 2014
Details
Van Hau Nguyen, Miroslav N. Velev, Pedro Barahona
Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT
Proc. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI2013), Special Track on SAT and CSP, November 4-6, Washington DC, USA, 2013, 1028-1035, 2013. Conference Publishing Services
Details
Pedro Barahona, Steffen Hölldobler, Van Hau Nguyen
Translating the At-Most-One Constraint to SAT
Doctoral Program, 19th International Conference on Principles and Practice of Constraint Programming 2013, Uppsala, Sweden, September 16-20, 2013
Details
