Michael Whalen. Invited Talk: SAT and SMT Solving at Cloud Scale. In Stéphane Graham-Lengrand, Mathias Preiner, editors, Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023. Volume 3429 of CEUR Workshop Proceedings, pages 2, CEUR-WS.org, 2023. [doi]
Abstract is missing.