Burkhard Monien
-
Exploiting structure in quantified formulas
Journal of Algorithms
Bandwidth constrained NP-Complete problems
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing