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

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
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@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}
}