825 followers
❤️
❤️
From my very limited understanding of SMT solver internals, I think solvers using @ciphernyx's SymFPU tend to be pretty fast at floating-point stuff. I believe it was first implemented in CVC4. https://t.co/DNFb92g6lX
Moral of the day: For complex problems, unless you have a very good reason to use a complex algorithm, well-tuned implementation of "basic" approaches is often better. Floating-point SMT: https://t.co/dgZTnqwJRQ Recommender systems: https://t.co/nKADtbVe8