- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| 1 |      | Mohammad GhasemZadeh, Volker Klotz, Christoph Meinel: Embedding Memoization to the Semantic Tree Search for Deciding QBFs. Australian Conference on Artificial Intelligence 2004: 681-693 |
| 1 | Volker Klotz | [1] |
| 2 | Christoph Meinel | [1] |