Handbook of satisfiability. - Biere, Armin, 1967-; Heule, Marijn, 1979-; Maaren, Hans van, 1950-; Walsh, Toby (Frontiers in artificial intelligence and applications ;, 2021)