SMT solver

Notes

1. ^ 128. doi:10.1007/s10817-013-9278-5. ISSN 1573-0670. ATPs and SMT solvers have complementary strengths. The former handle quantifiers more elegantly, whereas the latter excel on large, mostly ground problems.
2. ^ 259. doi:10.3233/SAT190123. S2CID 210147712. In recent years, we have seen a blurring of lines between SMT-COMP and CASC with SMT solvers competing in CASC and ATPs competing in SMT-COMP.
3. ^ 54. doi:10.1007/978-3-030-29436-6_3. ISBN . S2CID 85443815. hal-02300986.
4. ^ 560. doi:10.1007/978-3-540-73368-3_54. ISBN .
5. ^ , Journal of the ACM, vol. 53, pp. 937–977, doi:10.1145/1217856.1217859, S2CID 14058631
6. ^ 425. doi:10.1007/978-3-540-71070-7_35. ISBN .
7. ^ 695. doi:10.1007/978-3-319-08867-9_45. ISBN .
8. ^ 98. doi:10.1007/978-3-030-17462-0_5. ISBN . S2CID 92999474.
9. ^ 136. doi:10.1007/978-3-030-25543-5_8. ISBN . S2CID 196613701.
10. ^ 150. doi:10.1007/978-3-319-24246-0_9. ISBN .
11. ^ 213. doi:10.1007/978-3-319-21401-6_13. ISBN .
12. ^
13. ^ 98. doi:10.1007/978-3-319-40229-1_7. ISBN .
14. ^ 165. doi:10.1007/978-3-319-63046-5_10. ISBN .
15. ^ 261. doi:10.1007/978-3-319-46520-3_16. ISBN . S2CID 6753369.
16. ^ 186. doi:10.1007/978-3-031-37703-7_8. ISBN . S2CID 257235627.
17. ^ . doi:10.1609/aaai.v29i1.9755. ISSN 2374-3468. S2CID 9567647.
18. ^ 156. doi:10.1007/978-3-319-41528-4_8. ISBN .
19. ^ . S2CID 253525805.
20. ^
21. ^ , Journal on Satisfiability, Boolean Modeling and Computation, 1 (3–4 JSAT Special Issue on SAT/CP Integration): 209–236, doi:10.3233/SAT190012
22. ^ 442. doi:10.1007/978-3-030-99524-9_24. ISBN . S2CID 247857361.
23. ^ 23. doi:10.1007/11513988_4. ISBN .
24. ^ . ISBN .
25. ^.
26. ^ 19. doi:10.1007/978-3-319-96142-2_2. ISBN .
27. ^
28. ^ 540. doi:10.1007/978-3-319-24174-6_27. ISBN .
29. ^ 133. doi:10.1007/978-3-319-63390-9_7. ISBN . S2CID 206701576.
30. ^ 128. doi:10.1007/s10817-013-9278-5. ISSN 1573-0670.
31. ^ 288. doi:10.1007/978-3-319-96145-3_15. ISBN .
32. ^ 55. arXiv:1811.04211. Bibcode:2017ITSEn..43...34X. doi:10.1109/tse.2016.2560811.