The Tractability Frontier for NFA Minimization.

Henrik Björklund Wim Martens

Published in: ICALP (2) (2008)

Keyphrases

constraint satisfaction
objective function
computational complexity
np complete
neural network
regular expressions
finite state automata
databases
regularization term
efficient optimization
database
real time
multi agent