Symbolic Automata Constraint Solving.
Margus VeanesNikolaj BjørnerLeonardo Mendonça de MouraPublished in: LPAR (Yogyakarta) (2010)
Keyphrases
- constraint solving
- finite domain
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- constraint solver
- constraint programming
- cellular automata
- symbolic representation
- regular expressions
- finite automata
- high level
- data structure
- turing machine
- np complete
- low level
- special case
- tree automata
- computational complexity
- database systems