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 references recorded for this publication.
No citations of this publication recorded.