Are there any guidelines for how to recognize, for a given problem, which approach is more likely to yield good results? SAT solver or SMT solver? Is there any guidance anyone can offer about which sorts of problems can be handled better by SAT solvers than by SMT solvers, or vice versa?
Asked
Active
Viewed 178 times
0
-
There are a variety of solvers. But no one knows which will give better result. No one even knows why oftenly SAT is solved fast (except cases when you pick first two literals in each clause and solve given 2-SAT and it's satisfiable). – rus9384 Sep 10 '17 at 16:30
-
What does this question mean? Eager SMT vs lazy? Or literally SAT vs SMT (in which case how does it make sense? they solve different problems) – harold Sep 10 '17 at 17:28
-
See https://cs.stackexchange.com/q/12325/755 and https://cs.stackexchange.com/q/12087/755 for some related discussion. – D.W. Sep 11 '17 at 05:53