Articles with "automata modulo" as a keyword



Photo by radowanrehan from unsplash

Automata modulo theories

Sign Up to like & get
recommendations!
Published in 2021 at "Communications of the ACM"

DOI: 10.1145/3419404

Abstract: Symbolic automata better balances how automata are implemented in practice. read more here.

Keywords: automata modulo; modulo theories;