Application of Hierarchical Hybrid Encodings to Solve CSPs as Equivalent SAT Problems.

Miroslav N. Velev, Ping Gao

Browse the full ISAIM paper archive.