João Marques-Silva, Sharad Malik: Propositional SAT Solving. Handbook of Model Checking 2018: 247-275