Login / Signup
Discovering Relaxed Sound Workflow Nets using Integer Linear Programming.
Sebastiaan J. van Zelst
Boudewijn F. van Dongen
Wil M. P. van der Aalst
H. M. W. Verbeek
Published in:
CoRR (2017)
Keyphrases
</>
integer linear programming
column generation
bicriteria
linear inequalities
global constraints
symmetry breaking
pseudo boolean
boolean satisfiability
workflow management systems
cutting plane
optimal solution
web services
randomly generated
integer programming
knapsack problem
branch and bound
linear programming