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