Miroslav N. Velev, Ping Gao 0002. Application of Hierarchical Hybrid Encodings to Solve CSPs as Equivalent SAT Problems. In International Symposium on Artificial Intelligence and Mathematics, ISAIM 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016. 2016. [doi]
Abstract is missing.