add PARTITION example
add VERTEX-COVER example
add 3D-MATCHING example
add SET-COVERING example
add EXACT-COVER example
add FEEDBACK-NODE-SET example
add STEINER-TREE example
add CLIQUE-COVER example
add SEQUENCING example
add MAX-CUT example
repair HITTING-SET problem