Automata modulo theories.

Loris D'Antoni Margus Veanes

Published in: Commun. ACM (2021)

Keyphrases

modulo theories
answer set programming
cellular automata
stable model semantics
regular expressions
satisfiability modulo theories
finite state machines
logic programs
artificial intelligence
logic programming
special case
answer sets