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:
u v
e u v
u v 0
You can find some graphs in the compressed archive, inside the graphs folder.

Contact author