“…Two reasons for this popularity are the rapidly increasing power of SAT solvers, which are becoming more efficient year by year, and various improvements that have been made to the method since its introduction. Some examples of these improvements are new compact and efficient encodings (Huang, Chen, and Zhang 2010;Rintanen, Heljanko, and Niemelä 2006;Robinson et al 2009;Balyo 2013), better ways of scheduling the SAT solvers (Rintanen, Heljanko, and Niemelä 2006), specialized SAT solving heuristics for planning problems (Rintanen, Heljanko, and Niemelä 2006), and -most recently -using incremental SAT solving (Gocht and Balyo 2017).…”