no code implementations • 26 Nov 2018 • Genggeng Liu, Zhen Zhuang, Wenzhong Guo, Naixue Xiong, Guolong Chen
Firstly, in order to be able to handle two types of SMT problems at the same time, an effective edge-vertex encoding strategy is proposed.