query: Proving UNIT INTERSECTION NP-complete
positive_passages.docid: 152921
positive_passages.text: Proving that Unit Intersection is NP-complete
negative_passages.docid: 76192
negative_passages.text: Intersection of volumes defined by inequalities
negative_passages.docid: 38807
negative_passages.text: Does set difference distribute over set intersection?
negative_passages.docid: 119195
negative_passages.text: Proving two lines in vector form intersect algebraically
negative_passages.docid: 130157
negative_passages.text: How to calculate the intersection of two sets?
negative_passages.docid: 74311
negative_passages.text: Proving that the Intersection of any Collection of Compact Sets is Compact
negative_passages.docid: 116823
negative_passages.text: VERIFYING: Proving an $n \times n$ Matrix Vector Space
negative_passages.docid: 146933
negative_passages.text: Proving bipartition in a connected planar graph
negative_passages.docid: 157753
negative_passages.text: Show that any set in a metric space can be written as the intersection of open sets
negative_passages.docid: 3649
negative_passages.text: Closed unit interval is connected proof
negative_passages.docid: 89506
negative_passages.text: Union of disjoint sets : Equivalence relations
negative_passages.docid: 25064
negative_passages.text: Proving the snake lemma without a diagram chase
negative_passages.docid: 147069
negative_passages.text: Intersection of field extensions
negative_passages.docid: 156850
negative_passages.text: Fix-Point Theorem Proof.
negative_passages.docid: 27689
negative_passages.text: Separability over intersection of intermediate fields
negative_passages.docid: 34210
negative_passages.text: Connecting square vertexes with minimal road
negative_passages.docid: 5215
negative_passages.text: Can the principle of inclusion/exclusion be used to count elements in the intersection of a sequence of sets?