Bounded and Approximate Strong Satisfiability in Workflows.

Jason Crampton, Gregory Z. Gutin, Diptapriyo Majumdar

Browse the full SACMAT paper archive.