Back FORMULATING EDGE COVERAGE CONSTRAINTS AND ANALYZING CONNECTIVITY CONDITIONS ON BUTTERFLY GRAPHS Download