SATisfying answers to difficult questions! - Vaibhav Sagar at !!Con 2024

SATisfying Answers to Difficult Questions! SAT solvers have been used to find solutions to a wide variety of problems in domains such as code generation, formal verification, and scheduling. But what even are they, and how do they work?? In this talk I’ll provide a brief overview of what a SAT solver is and some different approaches they use to solve problems! I hope to demystify these very useful tools and give you some insight into why and when you might want to use them. Vaibhav used to write web applications for a living. He still does, but he used to, too. When he’s not doing that you can find him at the gym making sure the weight trees have equal numbers of plates on them or engaging in some ill-advised revenge bedtime procrastination. Presented at !!Con 2024 (pronounced, of course, "bangbangcon"!) in Santa Cruz, CA -- https://bangbangcon.com/ !!Con is a production of the Exclamation Foundation -- https://exclamation.foundation/ Video Production by Confreaks Follow Confreaks 👇 https://confreaks.com https://x.com/confreaks