Login / Signup

Process Discovery using Integer Linear Programming.

Jan Martijn E. M. van der WerfBoudewijn F. van DongenCor A. J. HurkensAlexander Serebrenik
Published in: Fundam. Informaticae (2009)
Keyphrases
  • integer linear programming
  • column generation
  • discovery process
  • branch and bound
  • symmetry breaking
  • linear inequalities
  • boolean satisfiability