Solving Hybrid Boolean SAT by Continuous Optimization