Pedro Barahona

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Prof. Pedro Barahona

Ehemaliges Mitglied
Pedro Barahona
  •   Ehemals Gastprofessor

Neueste Publikationen

Komplette Publikationsliste anzeigen

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

Komplette Publikationsliste anzeigen