Tree Automata with Equality Constraints Modulo Equational Theories.
Florent JacquemardMichaël RusinowitchLaurent VigneronPublished in: IJCAR (2006)
Keyphrases
- equational theories
- tree automata
- equality constraints
- regular expressions
- finite automata
- linear constraints
- complex valued
- finite state
- decomposition algorithm
- constrained optimization problems
- nonlinear programming
- quadratic programming problems
- theorem proving
- optimal solution
- real valued
- pattern matching
- convex quadratic optimization
- quadratic program
- evolutionary algorithm
- function symbols
- context free grammars
- relational databases
- machine learning