C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Bounded and Approximate Strong Satisfiability in Workflows.
Jason Crampton
Gregory Z. Gutin
Diptapriyo Majumdar
Published in:
SACMAT (2019)
Keyphrases
</>
satisfiability problem
propositional logic
web services
data processing
np complete
databases
business process
exact solution
workflow management systems
decision procedures
neural network
computational complexity
business processes
scientific workflows