Redefine BMF as exact factorization; fix BicliqueCover semantics; add BMF → BicliqueCover#1056

Open

GiggleLiu wants to merge 3 commits intomainfrom

bmf-exact-biclique-cover

Commits on Apr 18, 2026

Redefine BMF as exact Boolean matrix factorization

GiggleLiu
and
claude
committed
Enforce classical sub-biclique semantics and add BMF → BicliqueCover

GiggleLiu
and
claude
committed
Add BicliqueCover → BMF inverse; drop dominated BicliqueCover → ILP

GiggleLiu
and
claude
committed