Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving.

Tereza Schwarzová Jan Strejcek Juraj Major

Published in: SAT (2023)

Keyphrases

constraint satisfaction
learning effect
cognitive neuroscience
cellular automata
databases
artificial intelligence
search algorithm
propositional logic
finite state machines
finite automata