Zhoulai Fu, Zhendong Su: XSat: A Fast Floating-Point Satisfiability Solver. CAV (2) 2016: 187-209