The second edition of Handbook of Satisfiability (IOS Press) has been published. Matti Järvisalo contributes as co-author to this key reference handbook in various aspects the propositional satisfiability, a central problem in computer science, with two chapters: Preprocessing in SAT Solving, co-authored with Armin Biere and Benjamin Kiesl, and Maximum Satisfiability, co-authored with Fahiem Bacchus and Ruben Martins.