Dynamic constraint satisfaction problems over models - Horvath, Akos; Varro, Daniel (Software and systems modeling, 2012)
Keywords: Compilers; Complex systems; Computer Science; Design engineering; Dynamical systems; Dynamics; Information Systems Applications (incl.Internet); Interpreters; IT in Business; Mathematical analysis; Mathematical models; Programming Languages; Programming Techniques; Searching; Software Engineering; Software Engineering/Programming and Operating Systems; Space exploration; Special Section Paper; Constraint satisfaction programming; Graph transformation; Dynamic constraint satisfaction programming; Flexible constraint satisfaction problem