“BUILD STUFF” is a Software Development Conference for people who actually build stuff. We bring world-class speakers, letting them share about the latest developments, trends and innovations, as well as new directions in software development. Since launching in 2012, it’s really caught on quickly.

Recognized by developers from all over Europe, international Software Development Conference Build Stuff’15 Lithuania will feature 3 days (18-20 Nov’15) of conference sessions and 2 days (21-22 Nov’15) of workshops.

Back To Schedule
Thursday, November 19 • 10:30 - 11:25
(SLIDES) Felienne Hermans @Felienne - A board game night with geeks

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

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.

avatar for Felienne Hermans

Felienne Hermans

Professor in software engineering, Felienne
Felienne is an assistant professor at Delft University of Technology. During her PhD project, she researched the applicability of refactoring and smell detection to spreadsheets, and founded a spin off based on this idea. Now a professor, she continues her mission to improve spreadsheets... Read More →

Thursday November 19, 2015 10:30 - 11:25 EET
2. Beta

Attendees (0)