Complete File Generated by AWPM for Example 9.4 in WPM Input Format | part of Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games | Wiley Data and Cybersecurity books | IEEE Xplore