MaxSAT

Summary of Properties

iDegreeBIP3-BMIP4-BMIPVC-dim
0 0 0 1 1 0
1 0 3 7 10 0
2 1 6 7 4 19
3 0 21 16 16 12
4 1 1 0 0 0
5 0 0 0 0 0
>5 29 0 0 0 0

List of Hypergraphs Download All

Name Vertices Edges