Monadic Decomposition
From MaRDI portal
Publication:4640286
DOI10.1145/3040488zbMath1426.03026OpenAlexW2623287016MaRDI QIDQ4640286
Sergey Bereg, Margus Veanes, Nikolaj Bjørner, Lev Nachmanson
Publication date: 17 May 2018
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3040488
Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items
A layered algorithm for quantifier elimination from linear modular constraints, Learning union of integer hypercubes with queries (with applications to monadic decomposition), Quantifier elimination for counting extensions of Presburger arithmetic, Unnamed Item, Extended symbolic finite automata and transducers, Monadic decomposition in integer linear arithmetic
