FP-Syd meeting!

In our February edition, we will satisfy our thirst for knowledge with:

Vaibhav Sagar: SATisfying Solutions to Difficult Problems!

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.

As usual, doors will open at 6pm, with the event officially starting around 6:15 with networking and introductions. The talk is scheduled to start around 6:45pm.