Iterative Plan Construction for the Workflow Satisfiability Problem

David Cohen, Jason Crampton, Andrei Gagarin, Gregory Gutin, Mark Jones. Iterative Plan Construction for the Workflow Satisfiability Problem. J. Artif. Intell. Res. (JAIR), 51:555-577, 2014. [doi]

Abstract

Abstract is missing.