Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT

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

Toggle side column

Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT

Van Hau NguyenVan Hau Nguyen,  Miroslav N. VelevMiroslav N. Velev,  Pedro BarahonaPedro Barahona
Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT


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
@inproceedings{NVB2013,
  author    = {Van Hau Nguyen and Miroslav N. Velev and Pedro Barahona},
  title     = {Application of Hierarchical Hybrid Encodings to Efficient
               Translation of {CSPs} to {SAT}},
  booktitle = {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},
  publisher = {Conference Publishing Services},
  year      = {2013},
  pages     = {1028-1035}
}