Cited By
View all- Reif JFischer MDemillo RLynch NBurkhard WAho A(1979)Universal games of incomplete informationProceedings of the eleventh annual ACM symposium on Theory of computing10.1145/800135.804422(288-308)Online publication date: 30-Apr-1979
Motivation: Retrieval of information on biological processes from large-scale expression data is still a time-consuming task. An automated analysis utilizing all expression information would greatly increase our understanding of the samples under ...
Treewidth measures the "tree-likeness" of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this work, we study the impact of treewidth bounds on QBF, a canonical PSPACE-complete ...
IEEE Computer Society
United States