Solving Constraint Satisfaction Problems Using Finite State Automata.

Nageshwara Rao Vempaty

Published in: AAAI (1992)

Keyphrases

finite state automata
solving constraint satisfaction problems
constraint satisfaction problems
finite state machines
arc consistency
hybrid automata
constraint satisfaction
search algorithm
database
constraint propagation
special case
regular languages
constraint graph
set bounds propagation