Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques.

Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise

Browse the full SACMAT paper archive.