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]

Authors

David Cohen

This author has not been identified. Look up 'David Cohen' in Google

Jason Crampton

This author has not been identified. Look up 'Jason Crampton' in Google

Andrei Gagarin

This author has not been identified. Look up 'Andrei Gagarin' in Google

Gregory Gutin

This author has not been identified. Look up 'Gregory Gutin' in Google

Mark Jones

This author has not been identified. Look up 'Mark Jones' in Google