1 problem

Let $Q^{lb}$ denote the floor-layout disjunction with lower bounds, and let $D^8$ be its eight-branch disjunction encoded by … Let $\operatorname{Em}(Q^{lb},D^8,C^8)$ denote the co…