Bounded and Approximate Strong Satisfiability in Workflows.

Jason Crampton Gregory Z. Gutin Diptapriyo Majumdar

Published in: CoRR (2019)

Keyphrases

np complete
satisfiability problem
web services
computational complexity
phase transition
propositional logic
data processing
database systems
search algorithm
exact solution
exception handling