Boolean Satisfiability Problem: Discrete and Continuous Reformulations with Applications | IEEE Conference Publication | IEEE Xplore