Felienne Hermans - A board game night with geeks (Lambda Days 2016)

Thanks! Share it with your friends!

You disliked this video. Thanks for the feedback!

Added by admin
49 Views
Slides and more info: http://www.lambdadays.org/lambdadays2016/felienne-hermans

So this one day, I am playing the board game Quarto with my friend and I wonder, can this game end in a tie, or is there always a winner? Normal people might have squabbled or shrugged, but not us nerds! We obviously abandoned the game, took our laptops to the local pub and started hacking. In this talk I will explain how I used F# to transform this problem to satisfiability, ran it through a sat solver to discover if it can indeed end in a tie. I will also show how to apply the same technique to more useful problems such as scheduling and hardware testing.
Category
Lambda Days 2016

Post your comment