C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SAT-Based Minimization of Deterministic \omega -Automata.
Souheib Baarir
Alexandre Duret-Lutz
Published in:
LPAR (2015)
Keyphrases
</>
finite state automaton
turing machine
answer set programming
cellular automata
finite state
objective function
ai planning
finite automata
bounded model checking
black box
regular expressions
neural network
version space
tree automata
logic programming
planning problems
search strategy
boolean satisfiability