GitHub repository: zurawang/SAT-Gurobi
Created: 2018-03-13T01:08:13Z
Description: An Efficient Method to Transform SAT problems to Binary Integer Linear Programming Problems （Under Review)