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