- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Matthew D. T. Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia: PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT 2009: 509-523 |
| 1 | | Enrico Giunchiglia, Paolo Marin, Massimo Narizzano: Reasoning with Quantified Boolean Formulas. Handbook of Satisfiability 2009: 761-780 |
| 1 | Bernd Becker | [2] |
| 2 | Enrico Giunchiglia | [1] [2] |
| 3 | Matthew D. T. Lewis | [2] |
| 4 | Massimo Narizzano | [1] [2] |
| 5 | Tobias Schubert | [2] |