# | | Year | | Title | Type | |
1 |
| Wagner, Podelski [Podelski, Raskin, Thiagarajan] |
| |
6 |
| |
1 |
| Waldmann [Bonacina, Furbach] |
| |
1 |
| Waldmann [Goré, Leitsch, Nipkow] |
| |
1 |
| Waldmann [Kirchner, Kirchner] |
| |
1 |
| Waldmann [McAllester, Voronkov] |
| |
3 |
| Wang [-] |
| |
| | 1999 | | Randomness, Stochasticity, and Approximation
In: Theory of Computing Systems [32], 517-529 | Journal Article | |
| | 1997 | | NP-hard sets are superterse unless NP is small
In: Information Processing Letters [61], 1-6 | Journal Article | |
| | 1997 | | Randomization and Approximation Techniques in Computer Science
In: Proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM-97), 209-225 | Proceedings Article | |
11 |
| Weidenbach [-] |
| |
1 |
| Weidenbach [Bibel, Schmitt] |
| |
1 |
| Weidenbach [Fiedler, Gorny, Grass, Hoelldobler, Hotz, Kerner, Reischuk] |
| |
1 |
| Weidenbach [Hermann, Salzer] |
| |
1 |
| Weidenbach [McRobbie, Slaney] |
| |
1 |
| Weidenbach [Robinson, Voronkov] |
| |
1 |
| Weidenbach [Schulz, Kepser] |
| |
1 |
| Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić [-] |
| |
1 |
| Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić [Voronkov] |
| |
1 |
| Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney] |
| |
1 |
| Weidenbach, Meyer, Cohrs, Engel, Keen [-] |
| |
3 |
| Werner, Bockmayr, Krischer [-] |
| |
2 |
| Werner, Bockmayr, Krischer [Werner, Krischer] |
| |
7 |
| |
1 |
| Weydert [Besnard, Hanks] |
| |
1 |
| Weydert [Brewka, Witteveen, Schaub] |
| |
1 |
| Weydert [Brewka, Witteveen] |
| |
1 |
| Weydert [Cohn, Schubert, Shapiro] |
| |
1 |
| Weydert [Cunningham, Gabbay] |
| |
1 |
| Weydert [de Leon, Wallin, Hulth] |
| |