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

Van-Hau Nguyen Miroslav N. Velev Pedro Barahona

Published in: ICTAI (2013)

Keyphrases

sat encodings
constraint satisfaction problems
machine translation
constraint satisfaction
search space
np complete
non binary
sat solving