Tree automata with equality constraints modulo equational theories.
Florent JacquemardMichaël RusinowitchLaurent VigneronPublished in: J. Log. Algebraic Methods Program. (2008)
Keyphrases
- tree automata
- equational theories
- equality constraints
- regular expressions
- linear constraints
- quadratic programming problems
- finite automata
- decomposition algorithm
- nonlinear programming
- finite state
- constrained optimization problems
- complex valued
- theorem proving
- optimal solution
- differential evolution
- variational inequalities
- convex quadratic optimization
- pattern matching
- relational databases
- real valued
- xml schema
- function symbols
- evolutionary algorithm