Algorithms for the workflow satisfiability problem engineered for counting constraints

David Cohen, Jason Crampton, Andrei Gagarin, Gregory Gutin, Mark Jones. Algorithms for the workflow satisfiability problem engineered for counting constraints. J. Comb. Optim., 32(1):3-24, 2016. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: