Veanes, Margus; Bjørner, Nikolaj; Nachmanson, Lev; Bereg, Sergey Monadic decomposition. (English) Zbl 1426.03026 J. ACM 64, No. 2, Article No. 14, 28 p. (2017). Cited in 6 Documents MSC: 03D05 Automata and formal grammars in connection with logical questions 03B25 Decidability of theories and sets of sentences Keywords:symbolic automata; monadic logic; satisfiability modulo theories; variable independence PDFBibTeX XMLCite \textit{M. Veanes} et al., J. ACM 64, No. 2, Article No. 14, 28 p. (2017; Zbl 1426.03026) Full Text: DOI