XSat: A Fast Floating-Point Satisfiability Solver
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)