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
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.
Lambda Days 2016

Post your comment