Build Stuff'15 Lithuania

So this one day, I am playing the board game Quarto (http://en.wikipedia.org/wiki/Quarto_%28board_game%29) 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, and 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 register allocation.