Login / Signup
An Efficient Method to Transform SAT problems to Binary Integer Linear Programming Problem.
Wenxia Guo
Jin Wang
Majun He
Xiaoqin Ren
Wenhong Tian
Qingxian Wang
Published in:
CoRR (2018)
Keyphrases
</>
cost function
integer linear programming
genetic algorithm
computational complexity
dynamic programming
objective function
search algorithm
special case
probabilistic model