goSAT: Floating-point satisfiability as global optimization.

M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz

Browse the full FMCAD paper archive.