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).
Talks I've Given
SAT Solvers and Range Anxiety
Featuring Mate Soos
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...big-o sat-solver data-structures algorithms graph-algorithm heuristics bigdata