Encoding process discovery problems in SMT.

Marc SoléJosep Carmona
Published in: Softw. Syst. Model. (2018)