Using SAT solvers in puzzles null Pune Meet 28 April 2018 Monthly Meet
Abstract
Into to SAT/SMT
Existing Infrastructure
How to not do your own maths
Speaker
Timing
Starts at Saturday April 28 2018, 10:15 AM. The sessions runs for about 1 hour.