- CSB - MetaPress - Google - Bing - Yahoo
 | 2002 | |
|---|---|---|
| 3 |      | Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo Giovanardi: An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation. J. Autom. Reasoning 28(2): 101-142 (2002) |
| 1998 | ||
| 2 | | Marco Cadoli, Andrea Giovanardi, Marco Schaerf: An Algorithm to Evaluate Quantified Boolean Formulae. AAAI/IAAI 1998: 262-267 |
| 1997 | ||
| 1 | | Marco Cadoli, Andrea Giovanardi, Marco Schaerf: Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae. AI*IA 1997: 207-218 |
| 1 | Marco Cadoli | [1] [2] [3] |
| 2 | Massimo Giovanardi | [3] |
| 3 | Marco Schaerf | [1] [2] [3] |