Mtminer¶

Synopsis¶

mtminer computes levelwisely the minimal transversals of a hypergraph [1]

Example¶

$ cat > /tmp/test
1 2 
2 3 
^D
$ mtminer /tmp/test
2 
# depth 2
1 3 

Reference¶

[1] Céline Hébert, Alain Bretto, Bruno Crémilleux: Optimizing hypergraph transversal computation with an anti-monotone constraint. SAC 2007: 443-444