Dg89sjo4qjymh03cllor
SkillsCast

SAT Solvers and Range Anxiety

15th June 2016 in London at CodeNode

There are 1 other SkillsCast available from SAT Solvers and Range Anxiety

In this presentation, Mate plans to talk about the base of all NP-complete problems, the satisfiability problem, how these problems are being solved with state-of-the-art SAT solvers, and how that is relevant to our everyday lives. SAT solvers have enjoyed a boom thanks to massive improvements through the use of lazy data structures, tricky graph algorithms, proof verification, and heuristics. This allowed SAT solvers to thrive in many different tasks such as hardware verification,software fuzzing, cryptography, and math proofs. In this talk we will examine some of the core data structures and algorithms used by SAT solvers, as well as show some example use-cases for them in different fields.

YOU MAY ALSO LIKE:

Thanks to our sponsors

SAT Solvers and Range Anxiety

Mate Soos

Mate Soos has been working with SAT solvers for seven years, and is the developer of the SAT solver CryptoMiniSat. When not working on SATor SMT solvers, he is working as a security consultant, breaking cars(with FPGAs), Oyster cards (with SAT solvers) and SIM cards (withrainbow tables).

SkillsCast

In this presentation, Mate plans to talk about the base of all NP-complete problems, the satisfiability problem, how these problems are being solved with state-of-the-art SAT solvers, and how that is relevant to our everyday lives. SAT solvers have enjoyed a boom thanks to massive improvements through the use of lazy data structures, tricky graph algorithms, proof verification, and heuristics. This allowed SAT solvers to thrive in many different tasks such as hardware verification,software fuzzing, cryptography, and math proofs. In this talk we will examine some of the core data structures and algorithms used by SAT solvers, as well as show some example use-cases for them in different fields.

YOU MAY ALSO LIKE:

Thanks to our sponsors

About the Speaker

SAT Solvers and Range Anxiety

Mate Soos

Mate Soos has been working with SAT solvers for seven years, and is the developer of the SAT solver CryptoMiniSat. When not working on SATor SMT solvers, he is working as a security consultant, breaking cars(with FPGAs), Oyster cards (with SAT solvers) and SIM cards (withrainbow tables).