Regular Language Matching and Other Decidable Cases of the Satisfiability Problem for Constraints between Regular Open Terms.

Published in: STACS (2004)

Keyphrases

satisfiability problem
np complete
phase transition
function symbols
constraint satisfaction
temporal logic
finite domain
sat problem
search algorithm
stochastic local search algorithms
constraint logic programming