[IEEE 2018 IEEE 4th International Conference on Computer and Communications (ICCC) - Chengdu, China (2018.12.7-2018.12.10)] 2018 IEEE 4th International Conference on Computer and Communications (ICCC) - An Efficient Method to Transform a SAT problem to a Mixed Integer Linear Programming Problem
Guo, Wenxia, Wang, Jin, He, Majun, Ren, Xiaoqin, Wang, Qingxian, Tian, WenhongYear:
2018
Language:
english
DOI:
10.1109/compcomm.2018.8780844
File:
PDF, 536 KB
english, 2018