Romain Wallon (Laboratoire d'informatique de l'École polytechnique) & Daniel Le Berre (Université d'Artois)
https://simons.berkeley.edu/talks/deep-dive-cdcl-pseudo-boolean-solvers-focusing-implementation-sat4j
Beyond Satisfiability
Jeremias Berg (University of Helsinki), Matti Järvisalo (University of Helsinki), and Ruben Martins (CMU)
https://simons.berkeley.edu/talks/maxsat
Beyond Satisfiability