How do firms transact? Guesstimation and Validation of Financial Transaction Networks with Satisfiability AuthorsC. Tsigkanos, A. Arleo, J. Sorger, S. Dustdar. VenueIEEE 20th International Conference on Information Reuse and Integration for Data Science Year2019