Satisfiability modulo theories. (English) Zbl 1392.68379
Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 305-343 (2018).
MSC:
68T15