Intersection non-emptiness problem

ID: intersection-non-emptiness-problem

New to topics? Read the docs here!