The Variable Membership Problem: Succinctness Versus Complexity.

Gerhard Buntrock, Krzysztof Lorys

Browse the full STACS paper archive.