Talks

---

The (r)evolution of MaxSAT solving [slides]
University of California, Berkeley, April 2, 2015.

SAT encodings: using the right tool for the right job [slides]
University of California, Berkeley, April 2, 2015.

MaxSAT Evaluation 2014 [slides]
FLoC Olympic Games, Award Ceremony for the MaxSAT Evaluation, July 17, 2014.

MaxSAT Evaluation 2014 [slides]
International Conference on Theory and Applications of Satisfiability Testing, July 17, 2014.

SATisfiability Solving: How to solve problems with SAT [slides]
University of Oxford, Verification Seminar, February 13, 2014.

SATisfiability Solving: How do SAT solvers work? [slides]
University of Oxford, Verification Seminar, February 6, 2014.

Maximum Satisfiability: Beyond Decision Problems [slides]
University of Oxford, Verification Seminar, September 5, 2013.

SAT & Sudoku [slides]
University of Lisbon, Math Seminar, April 26, 2006.