6 Dec. 2022, 14:01-16:30 MIAO Talk by Matti Järvisalo and Jeremias Berg The implicit hitting set approach and its instantiation for pseudo-Boolean optimization