How Do Firms Transact? Guesstimation and Validation of Financial Transaction Networks with Satisfiability | IEEE Conference Publication | IEEE Xplore