Login / Signup
Discovering 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:
Computing (2018)
Keyphrases
</>
integer linear programming
column generation
bicriteria
linear inequalities
global constraints
boolean satisfiability
cutting plane
workflow management systems
pseudo boolean
web services
perfect phylogeny
special case
branch and bound
boolean optimization