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

Van-Hau Nguyen, Miroslav N. Velev, Pedro Barahona

Browse the full ICTAI paper archive.