This is the program based on the Minimal sum section algorithm. This program uses C++ language to demonstrate the algorithm. Run test.sh to run the program on bashscript automatically with testcases from "test1","test2","test3" or you can directly run Min_sum.exe and use testcases as many argv files as you want manually.
Huth and Ryan.Logic in computer science. [Modelling and Reasoning aboutSystems] - Second Edition Chapter 4 Section 3.