Second Edition of Handbook of Satisfiability published

Matti Järvisalo contributes to two chapters in the new second edition of Handbook of Satisfiability.

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.