Download article
Download Java implementation To execute the demo, decompress the archive into some folder, go with your shell into such folder and type the command java -cp "./bin" Main Any text file having one edge on each line is supported (preambles like p edge or p cnf are completely ignored). For an edge e = {u, v} the corresponding line can be one of: |