XSat: A Fast Floating-Point Satisfiability Solver
Numerical Recipes 3rd Edition: The Art of Scientific Computing