Constraint Expressions and Workflow Satisfiability

Jason Crampton Gregory Z. Gutin

Published in: CoRR (2013)

Keyphrases

satisfiability problem
facial expressions
np complete
natural language
query language
phase transition
computational complexity
business processes
propositional logic
global constraints
linear constraints
search algorithm
data model
constraint satisfaction
data flow
terminological reasoning