floating-point satisfiability

floating-point satisfiability is a auto technology tracked in AI research papers.