| |
| 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] |