TY  - RPRT
TI  - An Efficient Method to Transform SAT problems to Binary Integer Linear Programming Problem
AU  - Wenxia Guo
AU  - Jin Wang
AU  - Majun He
AU  - Xiaoqin Ren
AU  - Wenhong Tian
AU  - Qingxian Wang
PY  - 2018
UR  - https://arxiv.org/abs/1803.09963
ID  - 1803.09963
ER  -