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]

No reviews for this publication, yet.