Global Optimization for Satisfiability (SAT) Problem (1994)

by J Gu
Venue:IEEE Trans. on Knowledge and data Engineering